--- a/bin/isatool Thu Nov 30 20:07:35 2000 +0100 +++ b/bin/isatool Thu Nov 30 20:10:29 2000 +0100 @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # $Id$ # Author: Markus Wenzel, TU Muenchen