diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -20,6 +20,7 @@ name='configure' # rvs configureation script # 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. _name='rvs' + _CC='gcc' _RVS='$(bindir)/$(rvs)' _SHELL='/bin/sh' _prefix='/usr/local' @@ -29,7 +30,7 @@ _exec_prefix='$(prefix)' _libexecdir='$(exec_prefix)/libexec' _srcdir=$(readlink -f `dirname "$0"`) -vars='name RVS SHELL prefix exec_prefix bindir sbindir libexecdir srcdir' +vars='name CC RVS SHELL prefix exec_prefix bindir sbindir libexecdir srcdir' error() { echo "$name: $1" >> /dev/stderr |