diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2019-07-10 16:59:32 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2019-07-10 16:59:54 +0300 |
commit | 3f4e2c70c397a7321f07d61c46999f979acf6fed (patch) | |
tree | a7f242541169eff325809ffe6a68eae363aba2a2 | |
parent | 79871b8b9eae1cfa2d0bb12266a06da19ac80883 (diff) | |
download | jumper-3f4e2c70c397a7321f07d61c46999f979acf6fed.tar.gz jumper-3f4e2c70c397a7321f07d61c46999f979acf6fed.tar.bz2 |
Switch to the latest grecs
-rwxr-xr-x | bootstrap | 3 | ||||
m--------- | grecs | 0 |
2 files changed, 1 insertions, 2 deletions
@@ -1,6 +1,5 @@ | |||
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 | test -f ChangeLog || touch ChangeLog | 4 | test -f ChangeLog || touch ChangeLog |
6 | autoreconf -f -i -s | 5 | autoreconf -f -i -s |
diff --git a/grecs b/grecs | |||
Subproject 4e9e225408eeaa1f161ae366f68715529bea2d2 | Subproject b06fb7d30415eec1d2efb39286ab96070c724fd | ||