set -e
set -x

# Check c_src is up-to-date
make -C ../c_src

# Compile nitc
time ../c_src/nitc nitc.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