diff options
author | davidovski <david@davidovski.xyz> | 2022-05-28 19:25:31 +0100 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-05-28 19:25:31 +0100 |
commit | b4febcfcb6432583e63004cfdd452d2714288844 (patch) | |
tree | 620a6e8ce897744e1f24d97d2e47d5bc92f22a84 /xi_profile.sh | |
parent | 6e0fd4047f5dbc3bff3c54b4b7fd016d343d3b1d (diff) |
added revision number to the pkginfo
Diffstat (limited to 'xi_profile.sh')
-rw-r--r-- | xi_profile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xi_profile.sh b/xi_profile.sh index 10a9c9a..93be8f6 100644 --- a/xi_profile.sh +++ b/xi_profile.sh @@ -7,7 +7,7 @@ export MAKEFLAGS=-j$JOBS export SAMUFLAGS=-j$JOBS export CARGO_BUILD_JOBS=$JOBS -export CFLAGS="-Os -fomit-frame-pointer" +export CFLAGS="-pipe -Os -fomit-frame-pointer" export CXXFLAGS="$CFLAGS" export CPPFLAGS="$CFLAGS" export LDFLAGS="-Wl,--as-needed,-O1,--sort-common" |