Skip to content

Commit b12821e

Browse files
authored
Makefile: don't use /bin/bash shell (#484)
1 parent a331232 commit b12821e

1 file changed

Lines changed: 0 additions & 3 deletions

File tree

Makefile

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,3 @@
1-
# Use /bin/bash instead of /bin/sh
2-
export SHELL = /bin/bash
3-
41
## ========================================
52
## Commands for both workshop and lesson websites.
63

0 commit comments

Comments
 (0)