diff options
author | burdoto | 2023-05-07 22:42:10 +0200 |
---|---|---|
committer | burdoto | 2023-05-07 22:42:10 +0200 |
commit | d15cc07284e4952ee0e7e457417cb2a0f6465927 (patch) | |
tree | 5802608b347897a2ff4b92c127d799c56b151401 | |
parent | 19ad1b35e8fca2075e8080a1c48a0fb91e7ced21 (diff) | |
download | aur-d15cc07284e4952ee0e7e457417cb2a0f6465927.tar.gz |
comment
-rwxr-xr-x | publish.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/publish.sh b/publish.sh index f1f79c1ba243..a79690666d37 100755 --- a/publish.sh +++ b/publish.sh @@ -2,6 +2,7 @@ set -e # exit on error +# make prebuilt executable dotnet clean dotnet build -c Release --sc --use-current-runtime -p:PublishSingleFile=true |