Move build script
authorCafe <cafe@not.applicable>
Sun, 30 Jul 2017 00:00:00 +0000 (00:00 +0000)
committerCafe <cafe@not.applicable>
Sun, 30 Jul 2017 19:09:35 +0000 (19:09 +0000)
build.sh [deleted file]
src/build.sh [new file with mode: 0755]

diff --git a/build.sh b/build.sh
deleted file mode 100755 (executable)
index 01e7e30..0000000
--- a/build.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/bin/sh
-arm-linux-gnueabi-gcc re.c shim.c memory.c synthesise.c \
-       -Wall -Werror -Wextra -Wno-missing-braces -D_FILE_OFFSET_BITS=64
diff --git a/src/build.sh b/src/build.sh
new file mode 100755 (executable)
index 0000000..01e7e30
--- /dev/null
@@ -0,0 +1,3 @@
+#!/bin/sh
+arm-linux-gnueabi-gcc re.c shim.c memory.c synthesise.c \
+       -Wall -Werror -Wextra -Wno-missing-braces -D_FILE_OFFSET_BITS=64