From f939375d5074fc9af004a4c3a3f51a7cb2b26caf Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 27 Mar 2020 19:29:34 +0100
Subject: more config

---
 config_ppc64.sh | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 config_ppc64.sh

(limited to 'config_ppc64.sh')

diff --git a/config_ppc64.sh b/config_ppc64.sh
new file mode 100644
index 00000000..df31c18f
--- /dev/null
+++ b/config_ppc64.sh
@@ -0,0 +1 @@
+exec ./config_simple.sh ppc64-linux --toolprefix powerpc64-linux-gnu- "$@"
-- 
cgit