diff options
| author | Costa Tsaousis (ktsaou) <costa@tsaousis.gr> | 2017-02-04 00:58:43 +0200 |
|---|---|---|
| committer | Costa Tsaousis (ktsaou) <costa@tsaousis.gr> | 2017-02-04 00:58:43 +0200 |
| commit | 4209bf5c9c6119cf48c286f839aa346de6859460 (patch) | |
| tree | cfa3a189f44606a475c0be05e206c5fd7d081bf4 /autogen.sh | |
| parent | bf26c3b0983584a0bc3539d510fc8ef777af94d9 (diff) | |
allow users to set process scheduling priority and nice level; fixes #1712
Diffstat (limited to 'autogen.sh')
| -rwxr-xr-x | autogen.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh index 3b076d1a12..291fe48167 100755 --- a/autogen.sh +++ b/autogen.sh @@ -1,2 +1,3 @@ -#!/bin/sh +#!/usr/bin/env sh + autoreconf -ivf |