diff options
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -SHELL=/bin/bash -o pipefail +SHELL=bash -o pipefail # Run ./configure.sh to choose installation locations: ifeq ($(wildcard config.mk),) all: config.mk |
![]() |
index : tomo | |
| The Tomo programming language |
| aboutsummaryrefslogtreecommitdiff |
| -rw-r--r-- | Makefile | 2 |
@@ -1,4 +1,4 @@ -SHELL=/bin/bash -o pipefail +SHELL=bash -o pipefail # Run ./configure.sh to choose installation locations: ifeq ($(wildcard config.mk),) all: config.mk |