diff options
-rwxr-xr-x | scripts/get_latest_amalgamation.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/get_latest_amalgamation.sh b/scripts/get_latest_amalgamation.sh index 05c128c..8ec9047 100755 --- a/scripts/get_latest_amalgamation.sh +++ b/scripts/get_latest_amalgamation.sh @@ -34,7 +34,8 @@ else fi # copy amalgamation files -cp ${REPO_DIR}/sqlite3.{c,h} ${AMALGAMATION_DIR}/ +cp ${REPO_DIR}/sqlite3.c ${AMALGAMATION_DIR}/ +cp ${REPO_DIR}/sqlite3.h ${AMALGAMATION_DIR}/ # remove leftovers rm -rf ${TEMP_DIR} |