summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorTslil Clingman <hiato1@gmail.com>2015-02-01 23:03:05 +0200
committerTslil Clingman <hiato1@gmail.com>2015-02-01 23:03:05 +0200
commitce6884394a82f6b377ec1d659ce59be92fdf5f7c (patch)
treec07aaf8d6571b145407c24d7b96d394a75d45dc2 /ci
parent2a30d923196c135f5d02e56e3e840d2d1fb3140e (diff)
Changed to /usr/bin/env and added non-zsh modde to vcs
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"