From 4117eb40b1e2440b39485c56f01a6bedce4c3af2 Mon Sep 17 00:00:00 2001 From: simonmar <unknown> Date: Thu, 5 Oct 2000 13:25:03 +0000 Subject: [PATCH] [project @ 2000-10-05 13:25:03 by simonmar] oops, need to touch the .o file if compilation was NOT required --- ghc/driver/Main.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/ghc/driver/Main.hs b/ghc/driver/Main.hs index b468e7a1e04d..45169cdd0b1b 100644 --- a/ghc/driver/Main.hs +++ b/ghc/driver/Main.hs @@ -1,6 +1,6 @@ {-# OPTIONS -W -fno-warn-incomplete-patterns #-} ----------------------------------------------------------------------------- --- $Id: Main.hs,v 1.62 2000/10/03 16:51:57 sewardj Exp $ +-- $Id: Main.hs,v 1.63 2000/10/05 13:25:03 simonmar Exp $ -- -- GHC Driver program -- @@ -1821,7 +1821,9 @@ run_phase Hsc basename suff input_fn output_fn -- check whether compilation was performed, bail out if not b <- doesFileExist output_fn if not b && not (null source_unchanged) -- sanity - then return False + then do run_something "Touching object file" + ("touch " ++ output_fn) + return False else do -- carry on... -- Generate -Rghc-timing info -- GitLab