diff options
author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-11-10 14:51:19 +0900 |
---|---|---|
committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-11-10 14:51:19 +0900 |
commit | 960d294c59dc0b7f6dac23e9a52f1eb2a16c4986 (patch) | |
tree | 23c91ee4a2761e59d64ed401aead3d8d34fe7fab /bootstrap | |
parent | 4775f9e5e8e4f1aaad51ce54aa0c8174ac52f80d (diff) | |
download | gnunet-960d294c59dc0b7f6dac23e9a52f1eb2a16c4986.tar.gz gnunet-960d294c59dc0b7f6dac23e9a52f1eb2a16c4986.zip |
-ftbfs
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -136,7 +136,7 @@ gana_update() | |||
136 | cd gnu-name-system-record-types && \ | 136 | cd gnu-name-system-record-types && \ |
137 | make >/dev/null && \ | 137 | make >/dev/null && \ |
138 | cp gnu_name_system_record_types.h ../../../src/include/ || exit 1 | 138 | cp gnu_name_system_record_types.h ../../../src/include/ || exit 1 |
139 | cd gnu-name-system-record-flags && \ | 139 | cd ../gnu-name-system-record-flags && \ |
140 | make >/dev/null && \ | 140 | make >/dev/null && \ |
141 | cp gnu_name_system_record_flags.h ../../../src/include/ || exit 1 | 141 | cp gnu_name_system_record_flags.h ../../../src/include/ || exit 1 |
142 | echo "Creating default TLDs" | 142 | echo "Creating default TLDs" |