summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
Diffstat (limited to 'ci')
-rwxr-xr-xci1
1 files changed, 1 insertions, 0 deletions
diff --git a/ci b/ci
index 32c828b..ffa9f8f 100755
--- a/ci
+++ b/ci
@@ -1,3 +1,4 @@
+# Convenient frontend for quickly evaluating C code
#!/bin/bash
LIBR="stdlib stdio math ieee754"