Skip to content

Commit

Permalink
fix: brought back flags
Browse files Browse the repository at this point in the history
  • Loading branch information
gagdiez committed Oct 20, 2023
1 parent ff3b924 commit a5e4588
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions scripts/flags.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
#!/bin/bash

if [ -z "$KEEP_NAMES" ]; then
export RUSTFLAGS='-C link-arg=-s'
else
export RUSTFLAGS=''
fi

0 comments on commit a5e4588

Please sign in to comment.