diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-07 16:07:14 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-06-07 16:07:14 +0200 |
commit | c7f38ea3b96ee0e52f0e1f20ccfabd3206ff6ad2 (patch) | |
tree | f8171808142887e988e228a8b39dc76722fa6652 | |
parent | 082ec7c44f39f25bc3e59524dd9b358f1a209bca (diff) | |
parent | fd20ab4585d6e445cd9998ca33e70eb046613be1 (diff) | |
download | smtcoq-c7f38ea3b96ee0e52f0e1f20ccfabd3206ff6ad2.tar.gz smtcoq-c7f38ea3b96ee0e52f0e1f20ccfabd3206ff6ad2.zip |
Merge remote-tracking branch 'remotes/origin/coq-8.12' into coq-8.13
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ all: - cd src && ./configure.sh && $(MAKE) + cd src && $(MAKE) install: all cd src && $(MAKE) install |