diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 19:29:34 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 19:29:34 +0100 |
commit | f939375d5074fc9af004a4c3a3f51a7cb2b26caf (patch) | |
tree | 82a04309f065fa33ce4d9b19d5525a670aff99d5 /config_ppc64.sh | |
parent | 7eb27df1b3f682bef18e58783f4ed866183d4303 (diff) | |
download | compcert-kvx-f939375d5074fc9af004a4c3a3f51a7cb2b26caf.tar.gz compcert-kvx-f939375d5074fc9af004a4c3a3f51a7cb2b26caf.zip |
more config
Diffstat (limited to 'config_ppc64.sh')
-rw-r--r-- | config_ppc64.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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- "$@" |