diff options
Diffstat (limited to 'config/convex')
-rw-r--r-- | config/convex | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/config/convex b/config/convex deleted file mode 100644 index 4e8c2d8e..00000000 --- a/config/convex +++ /dev/null @@ -1,7 +0,0 @@ -ConvexOS 9.1, Convex C 4.1. I used cc -O1 -HAVE_UNDERSCORE_SETJMP 1 -STRERROR_MISSING 1 -STRCASE_MISSING 1 -STRTOD_MISSING 1 -STDC_HEADERS 1 -CHAR_UNSIGNED 1 |