build_nim.sh: update "last_built_commit"
This commit is contained in:
parent
12c3591fc1
commit
8758242198
|
@ -83,6 +83,7 @@ nim_needs_rebuilding() {
|
||||||
# we built the requested commit in the past, so we simply reuse it
|
# we built the requested commit in the past, so we simply reuse it
|
||||||
rm -f "${NIM_DIR}/bin/nim${EXE_SUFFIX}"
|
rm -f "${NIM_DIR}/bin/nim${EXE_SUFFIX}"
|
||||||
ln -s "nim_commit_${NIM_COMMIT_HASH}" "${NIM_DIR}/bin/nim${EXE_SUFFIX}"
|
ln -s "nim_commit_${NIM_COMMIT_HASH}" "${NIM_DIR}/bin/nim${EXE_SUFFIX}"
|
||||||
|
echo ${NIM_COMMIT_HASH} > "${NIM_DIR}/bin/last_built_commit"
|
||||||
return $NO_REBUILD
|
return $NO_REBUILD
|
||||||
else
|
else
|
||||||
return $REBUILD
|
return $REBUILD
|
||||||
|
|
Loading…
Reference in New Issue