blob: 35a0665b887ab3ca957058203cd5c80e7f916597 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
--- ./lib/Tools/unsymbolize.orig Sun Sep 2 15:11:55 2007
+++ ./lib/Tools/unsymbolize Sun Sep 2 15:49:24 2007
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
#
# $Id: unsymbolize,v 1.6 2005/04/26 17:50:58 wenzelm Exp $
# Author: Markus Wenzel, TU Muenchen
@@ -10,7 +10,7 @@
PRG="$(basename "$0")"
-function usage()
+usage()
{
echo
echo "Usage: $PRG [FILES|DIRS...]"
|
