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
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
-rw-r--r--
Makefile
1
1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 182cab81..362b6660 100644
--- a/
Makefile
+++ b/
Makefile
@@ -1,4 +1,3 @@
-SHELL := /bin/bash
PREFIX=$(HOME)/.local
VERSION=0.0.1
CC=gcc