diff options
Diffstat (limited to 'config/cray')
-rw-r--r-- | config/cray | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/config/cray b/config/cray deleted file mode 100644 index fab18998..00000000 --- a/config/cray +++ /dev/null @@ -1,9 +0,0 @@ -Cray 2 running Unicos 5.0.7 -BLKSIZE_MISSING 1 -SIGTYPE void -HAVE_UNDERSCORE_SETJMP 1 -RANDOM_MISSING 1 -STRCASE_MISSING 1 -STRERROR_MISSING 1 -STRFTIME_MISSING 1 -STDC_HEADERS 1 |