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 @@ | |||
1 | #! /bin/sh | 1 | #! /bin/sh |
2 | set -e | 2 | set -e |
3 | git submodule init | 3 | git submodule update --init --recursive |
4 | git submodule update | ||
5 | if ! test -r ChangeLog; then | 4 | if ! test -r ChangeLog; then |
6 | cat > ChangeLog <<EOT | 5 | cat > ChangeLog <<EOT |
7 | This file is a placeholder. It will be replaced with the actual ChangeLog | 6 | This file is a placeholder. It will be replaced with the actual ChangeLog |
diff --git a/grecs b/grecs | |||
Subproject 27ca9f5819d0e44173a5f61a241cd066ad15713 | Subproject b06fb7d30415eec1d2efb39286ab96070c724fd | ||