From 35aa8f5a9456087f6499c3a07b6aa913bffef6ad Mon Sep 17 00:00:00 2001 From: "Scott E. Graves" Date: Wed, 13 Dec 2023 20:12:18 -0600 Subject: [PATCH] fix scripts --- scripts/make_common.sh | 0 scripts/make_mingw64.sh | 1 - 2 files changed, 1 deletion(-) mode change 100644 => 100755 scripts/make_common.sh diff --git a/scripts/make_common.sh b/scripts/make_common.sh old mode 100644 new mode 100755 diff --git a/scripts/make_mingw64.sh b/scripts/make_mingw64.sh index 49c617bc..d73c1632 100755 --- a/scripts/make_mingw64.sh +++ b/scripts/make_mingw64.sh @@ -1,6 +1,5 @@ #!/bin/bash pushd "$(dirname "$0")/.." -mingw scripts/make_common.sh ${1} "${2}" 1 popd