Replace use of basename with sed --- it's more portable
authorTheodore Tso <tytso@mit.edu>
Thu, 6 Oct 1994 23:59:01 +0000 (23:59 +0000)
committerTheodore Tso <tytso@mit.edu>
Thu, 6 Oct 1994 23:59:01 +0000 (23:59 +0000)
git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@4463 dc483132-0cff-0310-8789-dd5450dbe970

src/util/et/ChangeLog
src/util/et/compile_et.sh
src/util/ss/ChangeLog
src/util/ss/mk_cmds.sh

index 7d81cdf91117a5019535128b35ca3a61472efe46..a1b383dc93aea2eb01f477e64707c3dce564a3bc 100644 (file)
@@ -1,3 +1,7 @@
+Thu Oct  6 19:39:11 1994  Theodore Y. Ts'o  (tytso@dcl)
+
+       * compile_et.sh: Replace basename with sed -- more portable.
+
 Mon Oct  3 17:27:28 1994  Theodore Y. Ts'o  (tytso@dcl)
 
        * Makefile.in:
index fdd249e839bf049b72dc7330845c3360393eaa4b..2b17bffcf0fa627a5b4c5fced0bf59330f0692f9 100644 (file)
@@ -5,7 +5,7 @@ AWK=@AWK@
 DIR=@DIR@
 
 ROOT=`echo $1 | sed -e s/.et$//`
-BASE=`basename $ROOT`
+BASE=`echo $ROOT | sed -e 's;.*/;;'`
 
 $AWK -f ${DIR}/et_h.awk outfile=${BASE}.h $ROOT.et
 $AWK -f ${DIR}/et_c.awk outfile=${BASE}.c $ROOT.et
index 0e8edd1ab0f7769389ffec8a8de164e48cbc9da8..e832ab11c5de8552ef8298dfebb160adaef8dbc9 100644 (file)
@@ -1,3 +1,7 @@
+Thu Oct  6 19:40:09 1994  Theodore Y. Ts'o  (tytso@dcl)
+
+       * mk_cmds.sh -- replace basename with sed -- more portable
+
 Mon Oct  3 17:26:27 1994  Theodore Y. Ts'o  (tytso@dcl)
 
        * Makefile.in:
index eda3888a13f535098ac1c4092b59a92e73c38f95..d41ab90417f4c87aa42bd7481ce7ae9078947237 100644 (file)
@@ -8,7 +8,7 @@ SED=@SED@
 
 FILE=$1
 ROOT=`echo $1 | sed -e s/.ct$//`
-BASE=`basename $ROOT`
+BASE=`echo $ROOT | sed -e 's;.*/;;'`
 TMP=ct$$.c
 
 ${SED} -f ${DIR}/ct_c.sed  ${FILE} \