From bfa2a886c50bf68452585ff32a7fca4e32e16afa Mon Sep 17 00:00:00 2001 From: Landon Curt Noll Date: Sun, 12 Feb 2023 21:59:59 -0800 Subject: [PATCH] change SHELL value Use: ```make SHELL= bash ``` Do not specify a SHELL path. --- 1984/anonymous/Makefile | 2 +- 1984/decot/Makefile | 2 +- 1984/laman/Makefile | 2 +- 1984/mullender/Makefile | 2 +- 1985/applin/Makefile | 2 +- 1985/august/Makefile | 2 +- 1985/lycklama/Makefile | 2 +- 1985/shapiro/Makefile | 2 +- 1985/sicherman/Makefile | 2 +- 1986/applin/Makefile | 2 +- 1986/august/Makefile | 2 +- 1986/bright/Makefile | 2 +- 1986/hague/Makefile | 2 +- 1986/holloway/Makefile | 2 +- 1986/marshall/Makefile | 2 +- 1986/pawka/Makefile | 2 +- 1986/stein/Makefile | 2 +- 1986/wall/Makefile | 2 +- 1987/biggar/Makefile | 2 +- 1987/heckbert/Makefile | 2 +- 1987/hines/Makefile | 2 +- 1987/korn/Makefile | 2 +- 1987/lievaart/Makefile | 2 +- 1987/wall/Makefile | 2 +- 1987/westley/Makefile | 2 +- 1988/applin/Makefile | 2 +- 1988/dale/Makefile | 2 +- 1988/isaak/Makefile | 2 +- 1988/litmaath/Makefile | 2 +- 1988/phillipps/Makefile | 2 +- 1988/reddy/Makefile | 2 +- 1988/robison/Makefile | 2 +- 1988/spinellis/Makefile | 2 +- 1988/westley/Makefile | 2 +- 1989/fubar/Makefile | 2 +- 1989/jar.1/Makefile | 2 +- 1989/jar.2/Makefile | 2 +- 1989/ovdluhe/Makefile | 2 +- 1989/paul/Makefile | 2 +- 1989/robison/Makefile | 2 +- 1989/roemer/Makefile | 2 +- 1989/tromp/Makefile | 2 +- 1989/vanb/Makefile | 2 +- 1989/westley/Makefile | 2 +- 2011/akari/Makefile | 2 +- 2011/blakely/Makefile | 2 +- 2011/borsanyi/Makefile | 2 +- 2011/dlowe/Makefile | 2 +- 2011/eastman/Makefile | 2 +- 2011/fredriksson/Makefile | 2 +- 2011/goren/Makefile | 2 +- 2011/hamaji/Makefile | 2 +- 2011/hou/Makefile | 2 +- 2011/konno/Makefile | 2 +- 2011/richards/Makefile | 2 +- 2011/toledo/Makefile | 2 +- 2011/vik/Makefile | 2 +- 2011/zucker/Makefile | 2 +- 2012/blakely/Makefile | 2 +- 2012/deckmyn/Makefile | 2 +- 2012/dlowe/Makefile | 2 +- 2012/endoh1/Makefile | 2 +- 2012/endoh2/Makefile | 2 +- 2012/grothe/Makefile | 2 +- 2012/hamano/Makefile | 2 +- 2012/hou/Makefile | 2 +- 2012/kang/Makefile | 2 +- 2012/konno/Makefile | 2 +- 2012/omoikane/Makefile | 2 +- 2012/tromp/Makefile | 2 +- 2012/vik/Makefile | 2 +- 2012/zeitak/Makefile | 2 +- 2013/birken/Makefile | 2 +- 2013/cable1/Makefile | 2 +- 2013/cable2/Makefile | 2 +- 2013/cable3/Makefile | 2 +- 2013/dlowe/Makefile | 2 +- 2013/endoh1/Makefile | 2 +- 2013/endoh2/Makefile | 2 +- 2013/endoh3/Makefile | 2 +- 2013/endoh4/Makefile | 2 +- 2013/hou/Makefile | 2 +- 2013/mills/Makefile | 2 +- 2013/misaka/Makefile | 2 +- 2013/morgan1/Makefile | 2 +- 2013/morgan2/Makefile | 2 +- 2013/robison/Makefile | 2 +- 2014/birken/Makefile | 2 +- 2014/deak/Makefile | 2 +- 2014/endoh1/Makefile | 2 +- 2014/endoh2/Makefile | 2 +- 2014/maffiodo1/Makefile | 2 +- 2014/maffiodo2/Makefile | 2 +- 2014/morgan/Makefile | 2 +- 2014/sinon/Makefile | 2 +- 2014/skeggs/Makefile | 2 +- 2014/vik/Makefile | 2 +- 2014/wiedijk/Makefile | 2 +- 2015/burton/Makefile | 2 +- 2015/dogon/Makefile | 2 +- 2015/duble/Makefile | 2 +- 2015/endoh1/Makefile | 2 +- 2015/endoh2/Makefile | 2 +- 2015/endoh3/Makefile | 2 +- 2015/endoh4/Makefile | 2 +- 2015/hou/Makefile | 2 +- 2015/mills1/Makefile | 2 +- 2015/mills2/Makefile | 2 +- 2015/muth/Makefile | 2 +- 2015/schweikhardt/Makefile | 2 +- 2015/yang/Makefile | 2 +- 2018/algmyr/Makefile | 2 +- 2018/anderson/Makefile | 2 +- 2018/bellard/Makefile | 2 +- 2018/burton1/Makefile | 2 +- 2018/burton2/Makefile | 2 +- 2018/ciura/Makefile | 2 +- 2018/endoh1/Makefile | 2 +- 2018/endoh2/Makefile | 2 +- 2018/ferguson/Makefile | 2 +- 2018/giles/Makefile | 2 +- 2018/hou/Makefile | 2 +- 2018/mills/Makefile | 2 +- 2018/poikola/Makefile | 2 +- 2018/vokes/Makefile | 2 +- 2018/yang/Makefile | 2 +- 2019/adamovsky/Makefile | 2 +- 2019/burton/Makefile | 2 +- 2019/ciura/Makefile | 2 +- 2019/diels-grabsch1/Makefile | 2 +- 2019/diels-grabsch2/Makefile | 2 +- 2019/dogon/Makefile | 2 +- 2019/duble/Makefile | 2 +- 2019/endoh/Makefile | 2 +- 2019/giles/Makefile | 2 +- 2019/karns/Makefile | 2 +- 2019/lynn/Makefile | 2 +- 2019/mills/Makefile | 2 +- 2019/poikola/Makefile | 2 +- 2019/yang/Makefile | 2 +- 2020/burton/Makefile | 2 +- 2020/carlini/Makefile | 2 +- 2020/endoh1/Makefile | 2 +- 2020/endoh2/Makefile | 2 +- 2020/endoh3/Makefile | 2 +- 2020/ferguson1/Makefile | 2 +- 2020/ferguson2/Makefile | 2 +- 2020/giles/Makefile | 2 +- 2020/kurdyukov1/Makefile | 2 +- 2020/kurdyukov2/Makefile | 2 +- 2020/kurdyukov3/Makefile | 2 +- 2020/kurdyukov4/Makefile | 2 +- 2020/otterness/Makefile | 2 +- 2020/tsoj/Makefile | 2 +- 2020/yang/Makefile | 2 +- 155 files changed, 155 insertions(+), 155 deletions(-) diff --git a/1984/anonymous/Makefile b/1984/anonymous/Makefile index 096965336..8542485dd 100644 --- a/1984/anonymous/Makefile +++ b/1984/anonymous/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1984/decot/Makefile b/1984/decot/Makefile index 31d77a9c3..cf352b6db 100644 --- a/1984/decot/Makefile +++ b/1984/decot/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1984/laman/Makefile b/1984/laman/Makefile index 7788fc193..428477532 100644 --- a/1984/laman/Makefile +++ b/1984/laman/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1984/mullender/Makefile b/1984/mullender/Makefile index 3b8565d60..af0af04aa 100644 --- a/1984/mullender/Makefile +++ b/1984/mullender/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1985/applin/Makefile b/1985/applin/Makefile index ff50c2998..40b3ee7f6 100644 --- a/1985/applin/Makefile +++ b/1985/applin/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1985/august/Makefile b/1985/august/Makefile index 32ea3d492..b4e9fa571 100644 --- a/1985/august/Makefile +++ b/1985/august/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1985/lycklama/Makefile b/1985/lycklama/Makefile index 3e3464132..a7bb84f71 100644 --- a/1985/lycklama/Makefile +++ b/1985/lycklama/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1985/shapiro/Makefile b/1985/shapiro/Makefile index e1c3c0783..1b5fab54b 100644 --- a/1985/shapiro/Makefile +++ b/1985/shapiro/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1985/sicherman/Makefile b/1985/sicherman/Makefile index 7c5372fa2..98f2bb0ba 100644 --- a/1985/sicherman/Makefile +++ b/1985/sicherman/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1986/applin/Makefile b/1986/applin/Makefile index 2f3f63a33..246aada07 100644 --- a/1986/applin/Makefile +++ b/1986/applin/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1986/august/Makefile b/1986/august/Makefile index 5c610527b..ad47758b8 100644 --- a/1986/august/Makefile +++ b/1986/august/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1986/bright/Makefile b/1986/bright/Makefile index fcadf40ab..010d9d763 100644 --- a/1986/bright/Makefile +++ b/1986/bright/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1986/hague/Makefile b/1986/hague/Makefile index f37cf927e..a33093444 100644 --- a/1986/hague/Makefile +++ b/1986/hague/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1986/holloway/Makefile b/1986/holloway/Makefile index 28b0cc2d4..6776e20e6 100644 --- a/1986/holloway/Makefile +++ b/1986/holloway/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1986/marshall/Makefile b/1986/marshall/Makefile index e3f37c02c..c9d7390bc 100644 --- a/1986/marshall/Makefile +++ b/1986/marshall/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1986/pawka/Makefile b/1986/pawka/Makefile index a6922590a..f80f43e26 100644 --- a/1986/pawka/Makefile +++ b/1986/pawka/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1986/stein/Makefile b/1986/stein/Makefile index a2f3fc005..8a44eb83f 100644 --- a/1986/stein/Makefile +++ b/1986/stein/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1986/wall/Makefile b/1986/wall/Makefile index ba4291819..45fdf1b4b 100644 --- a/1986/wall/Makefile +++ b/1986/wall/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1987/biggar/Makefile b/1987/biggar/Makefile index a7d30492c..99e6c4a11 100644 --- a/1987/biggar/Makefile +++ b/1987/biggar/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1987/heckbert/Makefile b/1987/heckbert/Makefile index 5f38eb345..a16581d0b 100644 --- a/1987/heckbert/Makefile +++ b/1987/heckbert/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1987/hines/Makefile b/1987/hines/Makefile index 213b2faf6..45be25d05 100644 --- a/1987/hines/Makefile +++ b/1987/hines/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1987/korn/Makefile b/1987/korn/Makefile index 46e2ead61..99c2aa742 100644 --- a/1987/korn/Makefile +++ b/1987/korn/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1987/lievaart/Makefile b/1987/lievaart/Makefile index 82d1671ac..9415ad42c 100644 --- a/1987/lievaart/Makefile +++ b/1987/lievaart/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1987/wall/Makefile b/1987/wall/Makefile index e492e6418..e07d97dcd 100644 --- a/1987/wall/Makefile +++ b/1987/wall/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1987/westley/Makefile b/1987/westley/Makefile index 49099b90f..309f8848a 100644 --- a/1987/westley/Makefile +++ b/1987/westley/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1988/applin/Makefile b/1988/applin/Makefile index 74f81cc00..fb82ffb73 100644 --- a/1988/applin/Makefile +++ b/1988/applin/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1988/dale/Makefile b/1988/dale/Makefile index 9d1af8fa0..4474465e7 100644 --- a/1988/dale/Makefile +++ b/1988/dale/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1988/isaak/Makefile b/1988/isaak/Makefile index 2472d4bdb..334a0ad60 100644 --- a/1988/isaak/Makefile +++ b/1988/isaak/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1988/litmaath/Makefile b/1988/litmaath/Makefile index a75ee46fe..8c103bd44 100644 --- a/1988/litmaath/Makefile +++ b/1988/litmaath/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1988/phillipps/Makefile b/1988/phillipps/Makefile index b359b62b3..92480a7da 100644 --- a/1988/phillipps/Makefile +++ b/1988/phillipps/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1988/reddy/Makefile b/1988/reddy/Makefile index d53dbe6e7..8d40248d6 100644 --- a/1988/reddy/Makefile +++ b/1988/reddy/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1988/robison/Makefile b/1988/robison/Makefile index 0bcea720f..16092748a 100644 --- a/1988/robison/Makefile +++ b/1988/robison/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1988/spinellis/Makefile b/1988/spinellis/Makefile index 55b8a3026..28309eb09 100644 --- a/1988/spinellis/Makefile +++ b/1988/spinellis/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1988/westley/Makefile b/1988/westley/Makefile index d231a0ca7..76ea925af 100644 --- a/1988/westley/Makefile +++ b/1988/westley/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1989/fubar/Makefile b/1989/fubar/Makefile index aaed31708..125b6d4b4 100644 --- a/1989/fubar/Makefile +++ b/1989/fubar/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1989/jar.1/Makefile b/1989/jar.1/Makefile index d32eabd7c..1099b0f15 100644 --- a/1989/jar.1/Makefile +++ b/1989/jar.1/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1989/jar.2/Makefile b/1989/jar.2/Makefile index 79c620e28..fb73d1da0 100644 --- a/1989/jar.2/Makefile +++ b/1989/jar.2/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1989/ovdluhe/Makefile b/1989/ovdluhe/Makefile index b21fed54a..fd20121cf 100644 --- a/1989/ovdluhe/Makefile +++ b/1989/ovdluhe/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1989/paul/Makefile b/1989/paul/Makefile index 62ca80a11..a958b3368 100644 --- a/1989/paul/Makefile +++ b/1989/paul/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1989/robison/Makefile b/1989/robison/Makefile index 9481329bd..1ff6a0a28 100644 --- a/1989/robison/Makefile +++ b/1989/robison/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1989/roemer/Makefile b/1989/roemer/Makefile index 9b88d6657..19f0e2fda 100644 --- a/1989/roemer/Makefile +++ b/1989/roemer/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1989/tromp/Makefile b/1989/tromp/Makefile index 8f095b5ba..c14ac0cb1 100644 --- a/1989/tromp/Makefile +++ b/1989/tromp/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1989/vanb/Makefile b/1989/vanb/Makefile index 1a0a76464..4d6c9cfc4 100644 --- a/1989/vanb/Makefile +++ b/1989/vanb/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/1989/westley/Makefile b/1989/westley/Makefile index 0e8b86b79..e8c57f835 100644 --- a/1989/westley/Makefile +++ b/1989/westley/Makefile @@ -50,7 +50,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2011/akari/Makefile b/2011/akari/Makefile index 78d22e6c6..4beb27453 100644 --- a/2011/akari/Makefile +++ b/2011/akari/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/blakely/Makefile b/2011/blakely/Makefile index d4f1b6671..0288d8eb3 100644 --- a/2011/blakely/Makefile +++ b/2011/blakely/Makefile @@ -12,7 +12,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/borsanyi/Makefile b/2011/borsanyi/Makefile index e5e4a52eb..7e4fefa56 100644 --- a/2011/borsanyi/Makefile +++ b/2011/borsanyi/Makefile @@ -12,7 +12,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/dlowe/Makefile b/2011/dlowe/Makefile index d202576bc..485aa7a9f 100644 --- a/2011/dlowe/Makefile +++ b/2011/dlowe/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/eastman/Makefile b/2011/eastman/Makefile index 799ae379c..c8a1242f9 100644 --- a/2011/eastman/Makefile +++ b/2011/eastman/Makefile @@ -12,7 +12,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/fredriksson/Makefile b/2011/fredriksson/Makefile index 88072fc06..6c7db428f 100644 --- a/2011/fredriksson/Makefile +++ b/2011/fredriksson/Makefile @@ -12,7 +12,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/goren/Makefile b/2011/goren/Makefile index 7763afe43..06a6f3e2a 100644 --- a/2011/goren/Makefile +++ b/2011/goren/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/hamaji/Makefile b/2011/hamaji/Makefile index f9ff4d9e9..634f939bd 100644 --- a/2011/hamaji/Makefile +++ b/2011/hamaji/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/hou/Makefile b/2011/hou/Makefile index bb771901d..dc122f5c1 100644 --- a/2011/hou/Makefile +++ b/2011/hou/Makefile @@ -12,7 +12,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/konno/Makefile b/2011/konno/Makefile index a359f703e..e6b9ad1fd 100644 --- a/2011/konno/Makefile +++ b/2011/konno/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/richards/Makefile b/2011/richards/Makefile index 9d8550642..e0119c054 100644 --- a/2011/richards/Makefile +++ b/2011/richards/Makefile @@ -12,7 +12,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/toledo/Makefile b/2011/toledo/Makefile index 1f5badf0f..aa683b755 100644 --- a/2011/toledo/Makefile +++ b/2011/toledo/Makefile @@ -12,7 +12,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/vik/Makefile b/2011/vik/Makefile index 796b860c9..590383e84 100644 --- a/2011/vik/Makefile +++ b/2011/vik/Makefile @@ -12,7 +12,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2011/zucker/Makefile b/2011/zucker/Makefile index 27074695b..d30ac2418 100644 --- a/2011/zucker/Makefile +++ b/2011/zucker/Makefile @@ -12,7 +12,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/blakely/Makefile b/2012/blakely/Makefile index de540c7c5..dea22c76c 100644 --- a/2012/blakely/Makefile +++ b/2012/blakely/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/deckmyn/Makefile b/2012/deckmyn/Makefile index 4e9311482..6ee3a28aa 100644 --- a/2012/deckmyn/Makefile +++ b/2012/deckmyn/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/dlowe/Makefile b/2012/dlowe/Makefile index f8a7a3faa..9586f32ac 100644 --- a/2012/dlowe/Makefile +++ b/2012/dlowe/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/endoh1/Makefile b/2012/endoh1/Makefile index 1bc95d938..9e3a9eed8 100644 --- a/2012/endoh1/Makefile +++ b/2012/endoh1/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/endoh2/Makefile b/2012/endoh2/Makefile index 0ceb303fe..18af5f651 100644 --- a/2012/endoh2/Makefile +++ b/2012/endoh2/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/grothe/Makefile b/2012/grothe/Makefile index 3ebe30caa..d01f60606 100644 --- a/2012/grothe/Makefile +++ b/2012/grothe/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/hamano/Makefile b/2012/hamano/Makefile index 6bdc6158f..02f95839c 100644 --- a/2012/hamano/Makefile +++ b/2012/hamano/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/hou/Makefile b/2012/hou/Makefile index f8d58689e..d5f290f35 100644 --- a/2012/hou/Makefile +++ b/2012/hou/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/kang/Makefile b/2012/kang/Makefile index a84ef9dae..9eda71558 100644 --- a/2012/kang/Makefile +++ b/2012/kang/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/konno/Makefile b/2012/konno/Makefile index 0c2f8c8ac..72fa7c7ff 100644 --- a/2012/konno/Makefile +++ b/2012/konno/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/omoikane/Makefile b/2012/omoikane/Makefile index 30a4b66e6..cbf27d424 100644 --- a/2012/omoikane/Makefile +++ b/2012/omoikane/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/tromp/Makefile b/2012/tromp/Makefile index 9cf277802..1e52debf9 100644 --- a/2012/tromp/Makefile +++ b/2012/tromp/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/vik/Makefile b/2012/vik/Makefile index b5a426c31..e6df7b9aa 100644 --- a/2012/vik/Makefile +++ b/2012/vik/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2012/zeitak/Makefile b/2012/zeitak/Makefile index 311678c72..723cccaf3 100644 --- a/2012/zeitak/Makefile +++ b/2012/zeitak/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/birken/Makefile b/2013/birken/Makefile index 1388743c4..65753350b 100644 --- a/2013/birken/Makefile +++ b/2013/birken/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/cable1/Makefile b/2013/cable1/Makefile index 5f90be402..ea81d080e 100644 --- a/2013/cable1/Makefile +++ b/2013/cable1/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/cable2/Makefile b/2013/cable2/Makefile index f93851054..e94d2dfd5 100644 --- a/2013/cable2/Makefile +++ b/2013/cable2/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/cable3/Makefile b/2013/cable3/Makefile index 9ce844236..0c932f8d2 100644 --- a/2013/cable3/Makefile +++ b/2013/cable3/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/dlowe/Makefile b/2013/dlowe/Makefile index d15abb74f..5a00000e3 100644 --- a/2013/dlowe/Makefile +++ b/2013/dlowe/Makefile @@ -15,7 +15,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/endoh1/Makefile b/2013/endoh1/Makefile index 8389d91d3..767fbbcb7 100644 --- a/2013/endoh1/Makefile +++ b/2013/endoh1/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/endoh2/Makefile b/2013/endoh2/Makefile index d15dde378..3396488e0 100644 --- a/2013/endoh2/Makefile +++ b/2013/endoh2/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/endoh3/Makefile b/2013/endoh3/Makefile index 16357b13f..43c72d420 100644 --- a/2013/endoh3/Makefile +++ b/2013/endoh3/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/endoh4/Makefile b/2013/endoh4/Makefile index 1baf57d3e..4af07a573 100644 --- a/2013/endoh4/Makefile +++ b/2013/endoh4/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/hou/Makefile b/2013/hou/Makefile index d30a3f138..f9e23438e 100644 --- a/2013/hou/Makefile +++ b/2013/hou/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/mills/Makefile b/2013/mills/Makefile index ce80685fd..029e3f493 100644 --- a/2013/mills/Makefile +++ b/2013/mills/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/misaka/Makefile b/2013/misaka/Makefile index 50af8ef34..01711cc46 100644 --- a/2013/misaka/Makefile +++ b/2013/misaka/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/morgan1/Makefile b/2013/morgan1/Makefile index 922db3eb1..af794a76a 100644 --- a/2013/morgan1/Makefile +++ b/2013/morgan1/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/morgan2/Makefile b/2013/morgan2/Makefile index 9d68ec9e0..3627728f7 100644 --- a/2013/morgan2/Makefile +++ b/2013/morgan2/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2013/robison/Makefile b/2013/robison/Makefile index 212d96344..f7f898fd6 100644 --- a/2013/robison/Makefile +++ b/2013/robison/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2014/birken/Makefile b/2014/birken/Makefile index 6d17decad..238fbc9ef 100644 --- a/2014/birken/Makefile +++ b/2014/birken/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2014/deak/Makefile b/2014/deak/Makefile index ea25d921b..a3e36426d 100644 --- a/2014/deak/Makefile +++ b/2014/deak/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2014/endoh1/Makefile b/2014/endoh1/Makefile index 83cf4a9f4..33f3a0c45 100644 --- a/2014/endoh1/Makefile +++ b/2014/endoh1/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2014/endoh2/Makefile b/2014/endoh2/Makefile index ca10d14d7..c10104156 100644 --- a/2014/endoh2/Makefile +++ b/2014/endoh2/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2014/maffiodo1/Makefile b/2014/maffiodo1/Makefile index 4dfe745da..c469e76a4 100644 --- a/2014/maffiodo1/Makefile +++ b/2014/maffiodo1/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2014/maffiodo2/Makefile b/2014/maffiodo2/Makefile index 222fe1615..9544337ab 100644 --- a/2014/maffiodo2/Makefile +++ b/2014/maffiodo2/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2014/morgan/Makefile b/2014/morgan/Makefile index 7ea3f6270..35c5f5ce2 100644 --- a/2014/morgan/Makefile +++ b/2014/morgan/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2014/sinon/Makefile b/2014/sinon/Makefile index 7521ff55c..c5d64274a 100644 --- a/2014/sinon/Makefile +++ b/2014/sinon/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CHMOD= chmod CPP= cpp diff --git a/2014/skeggs/Makefile b/2014/skeggs/Makefile index 316a111df..564aa9f7d 100644 --- a/2014/skeggs/Makefile +++ b/2014/skeggs/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2014/vik/Makefile b/2014/vik/Makefile index 1daaab902..2d8472ce5 100644 --- a/2014/vik/Makefile +++ b/2014/vik/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2014/wiedijk/Makefile b/2014/wiedijk/Makefile index c70a03df1..6b6ea81e2 100644 --- a/2014/wiedijk/Makefile +++ b/2014/wiedijk/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/burton/Makefile b/2015/burton/Makefile index 85f7c021d..07f749560 100644 --- a/2015/burton/Makefile +++ b/2015/burton/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/dogon/Makefile b/2015/dogon/Makefile index 85a33e96c..96c8e2f58 100644 --- a/2015/dogon/Makefile +++ b/2015/dogon/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/duble/Makefile b/2015/duble/Makefile index 9ee419b55..a9e3bd8c6 100644 --- a/2015/duble/Makefile +++ b/2015/duble/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/endoh1/Makefile b/2015/endoh1/Makefile index d1d2522ea..b3e505af9 100644 --- a/2015/endoh1/Makefile +++ b/2015/endoh1/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/endoh2/Makefile b/2015/endoh2/Makefile index a4b402897..18f1e045a 100644 --- a/2015/endoh2/Makefile +++ b/2015/endoh2/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/endoh3/Makefile b/2015/endoh3/Makefile index be20c85ca..110659ba1 100644 --- a/2015/endoh3/Makefile +++ b/2015/endoh3/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/endoh4/Makefile b/2015/endoh4/Makefile index fa0bb2810..14f45fd9f 100644 --- a/2015/endoh4/Makefile +++ b/2015/endoh4/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/hou/Makefile b/2015/hou/Makefile index 08d7ad3c7..9aa8597a1 100644 --- a/2015/hou/Makefile +++ b/2015/hou/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/mills1/Makefile b/2015/mills1/Makefile index e34b483d0..d7d97e9ff 100644 --- a/2015/mills1/Makefile +++ b/2015/mills1/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/mills2/Makefile b/2015/mills2/Makefile index 3beb72a03..f215b3b89 100644 --- a/2015/mills2/Makefile +++ b/2015/mills2/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/muth/Makefile b/2015/muth/Makefile index 20cc9c11d..5fcfad3f0 100644 --- a/2015/muth/Makefile +++ b/2015/muth/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/schweikhardt/Makefile b/2015/schweikhardt/Makefile index 1d0761376..5ec093a48 100644 --- a/2015/schweikhardt/Makefile +++ b/2015/schweikhardt/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -#SHELL= /bin/bash +#SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2015/yang/Makefile b/2015/yang/Makefile index 8934b2c92..7e510ad4e 100644 --- a/2015/yang/Makefile +++ b/2015/yang/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/algmyr/Makefile b/2018/algmyr/Makefile index dc51ddf6b..4032bfcf3 100644 --- a/2018/algmyr/Makefile +++ b/2018/algmyr/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/anderson/Makefile b/2018/anderson/Makefile index 233a1faf6..ae881e6c8 100644 --- a/2018/anderson/Makefile +++ b/2018/anderson/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/bellard/Makefile b/2018/bellard/Makefile index 8cb3d0603..98df29e2a 100644 --- a/2018/bellard/Makefile +++ b/2018/bellard/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/burton1/Makefile b/2018/burton1/Makefile index f324b63ad..4c2363508 100644 --- a/2018/burton1/Makefile +++ b/2018/burton1/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/burton2/Makefile b/2018/burton2/Makefile index 5809225ca..feecf9106 100644 --- a/2018/burton2/Makefile +++ b/2018/burton2/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/ciura/Makefile b/2018/ciura/Makefile index 7cd9f1b3d..589267549 100644 --- a/2018/ciura/Makefile +++ b/2018/ciura/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/endoh1/Makefile b/2018/endoh1/Makefile index 57f5f6070..2134ba981 100644 --- a/2018/endoh1/Makefile +++ b/2018/endoh1/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/endoh2/Makefile b/2018/endoh2/Makefile index d65358f29..d245e3eef 100644 --- a/2018/endoh2/Makefile +++ b/2018/endoh2/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/ferguson/Makefile b/2018/ferguson/Makefile index 30d4fcac3..c3cb14a7a 100644 --- a/2018/ferguson/Makefile +++ b/2018/ferguson/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/giles/Makefile b/2018/giles/Makefile index 9f68a7329..83937ef19 100644 --- a/2018/giles/Makefile +++ b/2018/giles/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/hou/Makefile b/2018/hou/Makefile index bb818b70e..30bfd5222 100644 --- a/2018/hou/Makefile +++ b/2018/hou/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/mills/Makefile b/2018/mills/Makefile index b353b92e2..3eb4971f8 100644 --- a/2018/mills/Makefile +++ b/2018/mills/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/poikola/Makefile b/2018/poikola/Makefile index 08512f972..3bea86813 100644 --- a/2018/poikola/Makefile +++ b/2018/poikola/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/vokes/Makefile b/2018/vokes/Makefile index 936857d95..7fdf58bc7 100644 --- a/2018/vokes/Makefile +++ b/2018/vokes/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2018/yang/Makefile b/2018/yang/Makefile index 2612e832e..3c0432869 100644 --- a/2018/yang/Makefile +++ b/2018/yang/Makefile @@ -14,7 +14,7 @@ # tool locations ################ # -SHELL= /bin/bash +SHELL= bash CP= cp CPP= cpp GUNZIP= gunzip diff --git a/2019/adamovsky/Makefile b/2019/adamovsky/Makefile index adcfc5249..171e529b9 100644 --- a/2019/adamovsky/Makefile +++ b/2019/adamovsky/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/burton/Makefile b/2019/burton/Makefile index d225679df..7b371d83d 100644 --- a/2019/burton/Makefile +++ b/2019/burton/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/ciura/Makefile b/2019/ciura/Makefile index 51a9c85b6..9ec754c25 100644 --- a/2019/ciura/Makefile +++ b/2019/ciura/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/diels-grabsch1/Makefile b/2019/diels-grabsch1/Makefile index 81e69047b..ed7b437ad 100644 --- a/2019/diels-grabsch1/Makefile +++ b/2019/diels-grabsch1/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/diels-grabsch2/Makefile b/2019/diels-grabsch2/Makefile index 65a12de95..cc7aa11a0 100644 --- a/2019/diels-grabsch2/Makefile +++ b/2019/diels-grabsch2/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/dogon/Makefile b/2019/dogon/Makefile index 871a4c2be..f6aa874d2 100644 --- a/2019/dogon/Makefile +++ b/2019/dogon/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/duble/Makefile b/2019/duble/Makefile index 0f78f1414..94c82e1d5 100644 --- a/2019/duble/Makefile +++ b/2019/duble/Makefile @@ -14,7 +14,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/endoh/Makefile b/2019/endoh/Makefile index 94348b29c..c83aa4898 100644 --- a/2019/endoh/Makefile +++ b/2019/endoh/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/giles/Makefile b/2019/giles/Makefile index b95e04a62..ea40cb1c0 100644 --- a/2019/giles/Makefile +++ b/2019/giles/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/karns/Makefile b/2019/karns/Makefile index 496e88fa7..bd7bd379d 100644 --- a/2019/karns/Makefile +++ b/2019/karns/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/lynn/Makefile b/2019/lynn/Makefile index f139d0862..6545c5887 100644 --- a/2019/lynn/Makefile +++ b/2019/lynn/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/mills/Makefile b/2019/mills/Makefile index 569e5a452..07c4880c6 100644 --- a/2019/mills/Makefile +++ b/2019/mills/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/poikola/Makefile b/2019/poikola/Makefile index 61c818c1d..ed61a1377 100644 --- a/2019/poikola/Makefile +++ b/2019/poikola/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2019/yang/Makefile b/2019/yang/Makefile index 65a12de95..cc7aa11a0 100644 --- a/2019/yang/Makefile +++ b/2019/yang/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/burton/Makefile b/2020/burton/Makefile index afddd176e..c32164895 100644 --- a/2020/burton/Makefile +++ b/2020/burton/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/carlini/Makefile b/2020/carlini/Makefile index 8add3c0e6..8a66d76b5 100644 --- a/2020/carlini/Makefile +++ b/2020/carlini/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/endoh1/Makefile b/2020/endoh1/Makefile index 9eceae12b..4b485818d 100644 --- a/2020/endoh1/Makefile +++ b/2020/endoh1/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/endoh2/Makefile b/2020/endoh2/Makefile index 2207819ae..884533610 100644 --- a/2020/endoh2/Makefile +++ b/2020/endoh2/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/endoh3/Makefile b/2020/endoh3/Makefile index 5218209a8..bf019e3b6 100644 --- a/2020/endoh3/Makefile +++ b/2020/endoh3/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/ferguson1/Makefile b/2020/ferguson1/Makefile index 700af9ce2..39b13b470 100644 --- a/2020/ferguson1/Makefile +++ b/2020/ferguson1/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/ferguson2/Makefile b/2020/ferguson2/Makefile index d10231e12..eefc1bb84 100644 --- a/2020/ferguson2/Makefile +++ b/2020/ferguson2/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/giles/Makefile b/2020/giles/Makefile index 0dd399d48..5b06c23c6 100644 --- a/2020/giles/Makefile +++ b/2020/giles/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/kurdyukov1/Makefile b/2020/kurdyukov1/Makefile index 77c271615..30fdc5874 100644 --- a/2020/kurdyukov1/Makefile +++ b/2020/kurdyukov1/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/kurdyukov2/Makefile b/2020/kurdyukov2/Makefile index ce0255aa1..7e95b5a63 100644 --- a/2020/kurdyukov2/Makefile +++ b/2020/kurdyukov2/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/kurdyukov3/Makefile b/2020/kurdyukov3/Makefile index a42932790..99fa481a8 100644 --- a/2020/kurdyukov3/Makefile +++ b/2020/kurdyukov3/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/kurdyukov4/Makefile b/2020/kurdyukov4/Makefile index e242fa4b0..1af48cbb6 100644 --- a/2020/kurdyukov4/Makefile +++ b/2020/kurdyukov4/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/otterness/Makefile b/2020/otterness/Makefile index 66874ab25..e6eb196a1 100644 --- a/2020/otterness/Makefile +++ b/2020/otterness/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/tsoj/Makefile b/2020/tsoj/Makefile index d87eb16a9..d2d6ae1db 100644 --- a/2020/tsoj/Makefile +++ b/2020/tsoj/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations diff --git a/2020/yang/Makefile b/2020/yang/Makefile index 42e352b5b..fe1ded60a 100644 --- a/2020/yang/Makefile +++ b/2020/yang/Makefile @@ -13,7 +13,7 @@ # shell used by this Makefile ############################# # -SHELL= /bin/bash +SHELL= bash ####################### # common tool locations