diff options
Diffstat (limited to '2020')
-rw-r--r-- | 2020/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/2020/Makefile b/2020/Makefile index 0b1c54f..340e2ce 100644 --- a/2020/Makefile +++ b/2020/Makefile @@ -37,7 +37,6 @@ $(OBJDIR)/%: .depend_hs: $(HASKELL_SRC) $(HASKELL_AUX) ghc -dep-suffix '' -dep-makefile $@ -M $(GHCBASEFLAGS) $(HASKELL_SRC) rm -f .depend_hs.bak - sed 's/\.o *:/:/; s/\.hi$$/.hs/g; s/\.hi[ \t]/.hs/g' <$@ >$@.tmp - mv $@.tmp $@ + sed -i 's/\.o *:/:/; s/\.hi$$/.hs/g; s/\.hi[ \t]/.hs/g' $@ -include .depend_hs |