From: Mark Wielaard Date: Fri, 13 Sep 2013 10:22:05 +0000 (+0200) Subject: Remove temporary cpp file also when generating header file. Debian #722649 X-Git-Tag: release-2.4~102^2~1 X-Git-Url: https://sourceware.org/git/?a=commitdiff_plain;h=114bb022c46991e9595cbddbb1ea5b11a2ad5788;p=systemtap.git Remove temporary cpp file also when generating header file. Debian #722649 --- diff --git a/dtrace.in b/dtrace.in index f0815b0eb..20c5a95d0 100755 --- a/dtrace.in +++ b/dtrace.in @@ -275,11 +275,13 @@ def main(): os.remove(fn) else: print "source: " + fn - if (use_cpp): - if (not keep_temps): - os.remove(s_filename) - else: - print "cpp: " + s_filename + + if (use_cpp): + if (not keep_temps): + os.remove(s_filename) + else: + print "cpp: " + s_filename + return 0 if __name__ == "__main__":