diff options
| author | Monwarez <monwarez@gmail.com> | 2016-11-26 02:28:56 +0100 |
|---|---|---|
| committer | Thibault Payet <monwarez@gmail.com> | 2017-07-26 00:18:53 +0200 |
| commit | bc0e4eb01ce8ddba0f8e8b12c9bed9e50e8afc40 (patch) | |
| tree | 09b7c88e828e3dd779658cc575df3e26c66696b6 /herculeswrapper/include.sh | |
| parent | e56a2a0f64c12f9fbeaccfa378fcddfb3620e74d (diff) | |
| download | evol-tools-bc0e4eb01ce8ddba0f8e8b12c9bed9e50e8afc40.tar.gz evol-tools-bc0e4eb01ce8ddba0f8e8b12c9bed9e50e8afc40.tar.bz2 evol-tools-bc0e4eb01ce8ddba0f8e8b12c9bed9e50e8afc40.tar.xz evol-tools-bc0e4eb01ce8ddba0f8e8b12c9bed9e50e8afc40.zip | |
use env instead of full path to bash
Diffstat (limited to 'herculeswrapper/include.sh')
| -rw-r--r-- | herculeswrapper/include.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/herculeswrapper/include.sh b/herculeswrapper/include.sh index aecb988..4ee3750 100644 --- a/herculeswrapper/include.sh +++ b/herculeswrapper/include.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash function create_pipe { trap "rm -f $PIPE" EXIT |