|
|
@@ -6,7 +6,7 @@ open Util
|
|
|
* -C : Don't remove comments
|
|
|
* -traditional-cpp : Don't remove excessive whitespaces, so that error
|
|
|
* messages preserve correct character locations *)
|
|
|
-let cpp_cmd = "cpp -nostdinc -C -traditional-cpp"
|
|
|
+let cpp_cmd = "cpp -nostdinc -C -traditional-cpp -I" ^ Sys.getcwd ()
|
|
|
|
|
|
let input_all ic =
|
|
|
let n = in_channel_length ic in
|