index
:
tomo
bigints
constructive-reals
decimals
dev
doctests-to-debuglog
formatter
internal-texts
main
optional-list-indexing
optionals
paths
simplified-quotes
static-dependencies
str-paths
table-colons
text2
unicode-identifiers
wordier-types
The Tomo programming language
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
Makefile
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
(limited to 'Makefile')
-rw-r--r--
Makefile
1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 54b62b45..e1520979 100644
--- a/
Makefile
+++ b/
Makefile
@@ -1,3 +1,4 @@
+SHELL := /bin/bash
PREFIX=/usr
VERSION=0.0.1
CC=gcc