fixed a bug in the logic guarding whether patching is enabled added --verbose to the scott/% target in Makefile
fixed a bug in the logic guarding whether patching is enabled
added --verbose to the scott/% target in Makefile

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