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 @@ #! /bin/sh set -e -git submodule init -git submodule update +git submodule update --init --recursive test -f ChangeLog || touch ChangeLog autoreconf -f -i -s diff --git a/grecs b/grecs -Subproject 4e9e225408eeaa1f161ae366f68715529bea2d2 +Subproject b06fb7d30415eec1d2efb39286ab96070c724fd |