diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 19:38:56 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 19:38:56 +0100 |
commit | 9536534a099fb95ae8eeef37b3ba10e03e31e823 (patch) | |
tree | be674a360a436648884c4b22b14b394571952aae /config_ppc64.sh | |
parent | ebab676bc779c533d408e65b3f8a42b77cb17f9e (diff) | |
download | compcert-kvx-9536534a099fb95ae8eeef37b3ba10e03e31e823.tar.gz compcert-kvx-9536534a099fb95ae8eeef37b3ba10e03e31e823.zip |
+x
Diffstat (limited to 'config_ppc64.sh')
-rwxr-xr-x[-rw-r--r--] | config_ppc64.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/config_ppc64.sh b/config_ppc64.sh index df31c18f..df31c18f 100644..100755 --- a/config_ppc64.sh +++ b/config_ppc64.sh |