diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-06 12:26:05 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-06 12:26:05 -0400 |
| commit | 7e6de0df5eed1a577df40c37a25997159c8930b2 (patch) | |
| tree | b0917f6a796f1fb92cd6a17f2f264dcff682185f /Makefile | |
| parent | 2c56adb6bc1eb93904366b7acf9a5cc739c919fc (diff) | |
Fix printenv sed script in Makefile for Windows support
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -133,7 +133,7 @@ etc/tscfreq: etc/tscfreq.c Makefile.coq: Makefile _CoqProject $(SHOW)'COQ_MAKEFILE -f _CoqProject > $@' - $(HIDE)$(COQBIN)coq_makefile -f _CoqProject INSTALLDEFAULTROOT = $(INSTALLDEFAULTROOT) -o Makefile-old && cat Makefile-old | sed s'/^printenv:$$/printenv::/g' > $@ && rm -f Makefile-old + $(HIDE)$(COQBIN)coq_makefile -f _CoqProject INSTALLDEFAULTROOT = $(INSTALLDEFAULTROOT) -o Makefile-old && cat Makefile-old | sed s'/^printenv:/printenv::/g' | sed s'/^printenv:::/printenv::/g' > $@ && rm -f Makefile-old $(DISPLAY_NON_JAVA_VO:.vo=.log) : %Display.log : %.vo %Display.v src/Compilers/Z/CNotations.vo src/Specific/IntegrationTestDisplayCommon.vo $(SHOW)"COQC $*Display > $@" |