From ce6884394a82f6b377ec1d659ce59be92fdf5f7c Mon Sep 17 00:00:00 2001 From: Tslil Clingman Date: Sun, 1 Feb 2015 23:03:05 +0200 Subject: Changed to /usr/bin/env and added non-zsh modde to vcs --- ci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ci') 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" -- cgit v1.2.3