sage.sh: use palp from the system

[bash.d.git] / compilation.sh

diff --git a/compilation.sh b/compilation.sh
index 7613425faaa77eda89c29d7d845bd5172aecef7f..3a14667cca618e372f9e4922cb651166b3724cd2 100644 (file)
--- a/compilation.sh
+++ b/compilation.sh
@@ -35,6 +35,7 @@ fi
 # subsequent commands.
 export CFLAGS
 export CXXFLAGS
+export FFLAGS
 export FCFLAGS
 export LDFLAGS