src: new script full_bootstrap

Used to check that mkcsrc is not broken

Signed-off-by: Jean Privat <jean@pryen.org>

diff --git a/src/full_boostrap b/src/full_boostrap
new file mode 100755 (executable)
index 0000000..aa6046b
--- /dev/null
+++ b/src/full_boostrap
@@ -0,0 +1,20 @@
+set -e
+set -x
+
+# Check c_src is up-to-date
+make -C ../c_src
+
+# Compile nitg
+time ../c_src/nitg nitg.nit
+
+# delete old c_src
+rm -rf ../c_src
+
+# Regenerate c_src
+./mkcsrc
+
+# Compile new c_src
+time make -C ../c_src
+
+# Remake all
+make