src/full_bootstrap

   1 set -e
   2 set -x
   3
   4 # Check c_src is up-to-date
   5 make -C ../c_src
   6
   7 # Compile nitc
   8 time ../c_src/nitc nitc.nit
   9
  10 # delete old c_src
  11 rm -rf ../c_src
  12
  13 # Regenerate c_src
  14 ./mkcsrc
  15
  16 # Compile new c_src
  17 time make -C ../c_src
  18
  19 # Remake all
  20 make