Makefile: don't use /bin/bash shell (swcarpentry#484)

fmichonneau · Oct 13, 2020 · c29046f · c29046f
1 parent 51f736d
commit c29046f
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -1,6 +1,3 @@
-# Use /bin/bash instead of /bin/sh
-export SHELL = /bin/bash
-
 ## ========================================
 ## Commands for both workshop and lesson websites.