diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2019-07-10 18:35:29 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2019-07-10 18:35:29 +0300 |
commit | ce1af46af7a84d061676ede08dab2a0be3fadbaf (patch) | |
tree | 61e73d342ba39c9838474d7171d27b11e434aefe | |
parent | 064af6a78ecae9e12f93d34238e5427a3a67c9d0 (diff) | |
download | eclat-ce1af46af7a84d061676ede08dab2a0be3fadbaf.tar.gz eclat-ce1af46af7a84d061676ede08dab2a0be3fadbaf.tar.bz2 |
Switch to grecs b06fb7d3
-rwxr-xr-x | bootstrap | 3 | ||||
m--------- | grecs | 0 |
2 files changed, 1 insertions, 2 deletions
@@ -1,7 +1,6 @@ #! /bin/sh set -e -git submodule init -git submodule update +git submodule update --init --recursive if ! test -r ChangeLog; then cat > ChangeLog <<EOT This file is a placeholder. It will be replaced with the actual ChangeLog diff --git a/grecs b/grecs -Subproject 27ca9f5819d0e44173a5f61a241cd066ad15713 +Subproject b06fb7d30415eec1d2efb39286ab96070c724fd |