diff options
| -rwxr-xr-x | bootstrap | 7 |
1 files changed, 3 insertions, 4 deletions
| @@ -7,10 +7,9 @@ set -e -x | |||
| 7 | top_srcdir="$PWD" | 7 | top_srcdir="$PWD" |
| 8 | export top_srcdir | 8 | export top_srcdir |
| 9 | 9 | ||
| 10 | if [ ! -d nix-upstream ] | 10 | git submodule init |
| 11 | then | ||
| 12 | git submodule init | ||
| 13 | fi | ||
| 14 | git submodule update | 11 | git submodule update |
| 15 | 12 | ||
| 13 | ./nix/sync-with-upstream | ||
| 14 | |||
| 16 | exec autoreconf -vfi | 15 | exec autoreconf -vfi |