summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
Diffstat (limited to 'ci')
-rwxr-xr-xci2
1 files changed, 1 insertions, 1 deletions
diff --git a/ci b/ci
index c0ab20c..5ed71df 100755
--- a/ci
+++ b/ci
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env sh
# Convenient frontend for quickly evaluating C code
LIBR="stdlib stdio math ieee754 limits stdint"