adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

c-parser standalone: don't delete original source files on Isabelle2019

This commit is contained in:
Matthew Brecknell 2019-06-19 14:39:56 +10:00
parent 7a99f89ae3
commit 52dae5f25a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/c-parser/standalone-parser/main.sml
View File

@ -506,10 +506,10 @@ fun docpp (SOME p) {includes, filename} =
val cmdline =
p ^ " " ^ includes_string ^ " -CC \"" ^ filename ^ "\" > " ^ tmpname
in
if isSuccess (system cmdline) then tmpname
if isSuccess (system cmdline) then (tmpname, true)
else raise Feedback.WantToExit ("cpp failed on "^filename)
end
| docpp NONE {filename, ...} = filename
| docpp NONE {filename, ...} = (filename, false)
val usage_msg = GetOpt.usageInfo {
header =