January 10, 2019
View 37498f0

Shell scripts: fix bare variables

Sebastiaan van Stijn authored on 2019/01/10 10:50:47
View c365077

Revert "Bash scripts; use double brackets, fix bare variables, add quotes"

Sebastiaan van Stijn authored on 2019/01/10 10:23:38
December 23, 2018
View 297b30d

Bash scripts; use double brackets, fix bare variables, add quotes

Sebastiaan van Stijn authored on 2018/12/23 04:18:33
June 2, 2018
View d2af0d9

Allow to add any args when doing a make run

Vincent Demeester authored on 2018/06/02 02:19:20
February 14, 2017
View 52379fa

Convert script shebangs from "#!/bin/bash" to "#!/usr/bin/env bash"

Tianon Gravi authored on 2017/02/14 04:01:54
July 8, 2016
View cae890b

Add target for `make run`

Brian Goff authored on 2016/07/08 05:01:44