Add extra bootstrapping step in src/n.sh where bootstrap_plex.py builds flex
authorNick Downing <downing.nick@gmail.com>
Tue, 24 Jul 2018 02:13:29 +0000 (12:13 +1000)
committerNick Downing <downing.nick@gmail.com>
Wed, 25 Jul 2018 15:02:20 +0000 (01:02 +1000)
src/n.sh [new file with mode: 0755]

diff --git a/src/n.sh b/src/n.sh
new file mode 100755 (executable)
index 0000000..b95c072
--- /dev/null
+++ b/src/n.sh
@@ -0,0 +1,10 @@
+#!/bin/sh
+touch scan.l
+make
+./flex scan.l 2>a
+mv lex.yy.c b
+../../plex2.git/bootstrap_plex.py -o stage1scan.c a
+patch stage1scan.c <stage1scan.c.patch
+make
+./flex scan.l 2>c
+mv lex.yy.c d