diff options
Diffstat (limited to 'scripts/create_makefile')
| -rwxr-xr-x | scripts/create_makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/create_makefile b/scripts/create_makefile index e83b61d7..a27d3848 100755 --- a/scripts/create_makefile +++ b/scripts/create_makefile @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/bash # Create Makefile.in and Makefile in a directory (containing a Makefile.am !) # Saves time compared to re-running configure completely |