make distrib now works and libcil.a builds I noticed that make distrib doesn't work unless one first runs "make"
make distrib now works and libcil.a builds
I noticed that make distrib doesn't work unless one first runs "make"

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c