aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa/general/.gitignore
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-11-13 11:44:56 +0100
committerCyril SIX <cyril.six@kalray.eu>2018-11-13 11:44:56 +0100
commitd15b2c014daf547e10504278ae42d4651dc71319 (patch)
tree51e639c72c8d9b902621f1c27baf869da263d57e /test/mppa/general/.gitignore
parentf24d303df6cb125ca19b953bb364955cc6e8c246 (diff)
downloadcompcert-kvx-d15b2c014daf547e10504278ae42d4651dc71319.tar.gz
compcert-kvx-d15b2c014daf547e10504278ae42d4651dc71319.zip
Revamped the instruction testsuite (all instructions work except umodd and udivd)
Diffstat (limited to 'test/mppa/general/.gitignore')
-rw-r--r--test/mppa/general/.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/test/mppa/general/.gitignore b/test/mppa/general/.gitignore
deleted file mode 100644
index ea1472ec..00000000
--- a/test/mppa/general/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-output/