diff options
Diffstat (limited to 'build_one.sh')
| -rwxr-xr-x | build_one.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build_one.sh b/build_one.sh index 4d67b4e..c92e96f 100755 --- a/build_one.sh +++ b/build_one.sh @@ -18,11 +18,12 @@ fi target="$(basename "${config}")" target="${target%.ptxconfig}" -target="gstate/${target//_/-}.pkgs" if [ $# -gt 0 ]; then + target="gstate/${target//_/-}.build" exec "$(dirname $0)/build_all_v2.mk" "${target}" ARG="${*}" else + target="gstate/${target//_/-}.pkgs" exec "$(dirname $0)/build_all_v2.mk" "${target}" fi |