diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-05-21 10:59:28 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-05-21 10:59:28 -0700 |
commit | 395e2128a4155549a08dfcea47db7a5f7d8b2005 (patch) | |
tree | b3cd97630942776d47fcd6f3385348aca8506b89 /mu | |
parent | dc16b2284589c35a9aa493fd73ef7a108dc16f55 (diff) | |
download | mu-395e2128a4155549a08dfcea47db7a5f7d8b2005.tar.gz |
2994
Diffstat (limited to 'mu')
-rwxr-xr-x | mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mu b/mu index cd4019c5..3b1bb6c4 100755 --- a/mu +++ b/mu @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/bash # # Compile mu if necessary before running it. |