diff options
Diffstat (limited to 'src/demo.sml')
| -rw-r--r-- | src/demo.sml | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/src/demo.sml b/src/demo.sml index 80506576..5ed9da2a 100644 --- a/src/demo.sml +++ b/src/demo.sml @@ -271,6 +271,15 @@ fun make {prefix, dirname} = fun highlight () = doit (fn (src, html) => let + val dirty = + let + val srcSt = Posix.FileSys.stat src + val htmlSt = Posix.FileSys.stat html + in + Time.> (Posix.FileSys.ST.mtime srcSt, + Posix.FileSys.ST.mtime htmlSt) + end handle OS.SysErr _ => true + val cmd = "emacs --eval \"(progn " ^ "(global-font-lock-mode t) " ^ "(add-to-list 'load-path \\\"" @@ -287,8 +296,11 @@ fun make {prefix, dirname} = ^ "\\\") " ^ "(kill-emacs))\"" in - print (">>> " ^ cmd ^ "\n"); - ignore (OS.Process.system cmd) + if dirty then + (print (">>> " ^ cmd ^ "\n"); + ignore (OS.Process.system cmd)) + else + () end) in if OS.Path.base file = "demo" then |