diff options
| author | Ryan Kavanagh <rak@debian.org> | 2013-06-28 09:16:27 -0400 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2013-06-28 09:16:27 -0400 |
| commit | e7cc8720fb73892545035c4d461505281a718730 (patch) | |
| tree | e6165152893cb09e2fccd9220dfdaedfd79dcc7f | |
| parent | Added myswap symbols used by icd script (diff) | |
Info file is broken in vm; skip building/installing it
Diffstat (limited to '')
| -rw-r--r-- | emacsen/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/emacsen/Makefile b/emacsen/Makefile index 91a4b9a..2e63ee9 100644 --- a/emacsen/Makefile +++ b/emacsen/Makefile @@ -69,6 +69,8 @@ make-proofgeneral: touch $@ make-vm: + # info file is broken in vm at the moment. + echo '%s/^all: info/all:/g\n%s/^info:.*/info:/g\nw' | ed vm/info/Makefile.in cd $(@:make-%=%) && autoconf && ./configure --prefix=$(EMACSD) --with-other-dirs=$(EMACSEN)/bbdb/lisp $(MAKE) -C $(@:make-%=%) touch $@ |