# HG changeset patch
# User wenzelm
# Date 864149279 -7200
# Node ID 7678f3d930533a063166b95c9291a5276f94aa18
# Parent  9effaaf773035df28b7219bd239ba241c39ecb03
fixed bash path;

diff -r 9effaaf77303 -r 7678f3d93053 build
--- a/build	Tue May 20 19:27:24 1997 +0200
+++ b/build	Tue May 20 19:27:59 1997 +0200
@@ -1,4 +1,4 @@
-#!/usr/wiss/wenzelm/bin/bash
+#!/bin/bash
 #
 # $Id$
 #