diff options
author | root <github@bigly.dog> | 2024-03-22 21:54:28 -0700 |
---|---|---|
committer | root <github@bigly.dog> | 2024-03-22 21:54:28 -0700 |
commit | c33875b452f816f1d0c53fa66b86b8b5bd72c869 (patch) | |
tree | a4b53d281f2e797a4efbaaefef678f681123c145 | |
parent | 179fc267cc18c8ef7daa511ddb78890caa345352 (diff) |
make build.rs executable
-rwxr-xr-x[-rw-r--r--] | build.rs | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,5 @@ +#!/usr/bin/env -S -- bash -Eeuo pipefail +// || rustc --edition=2021 -o "${T:="$(mktemp)"}" -- "$0" && exec -a "$0" -- "$T" "$0" "$@" #![deny(clippy::all, clippy::cargo, clippy::nursery, clippy::pedantic)] #![allow(clippy::cargo_common_metadata, clippy::wildcard_dependencies)] |