Changeset 73e5448 for common

Timestamp:

04/09/2006 10:38:40 AM (18 years ago)

Author:

Manuel Canales Esparcia <manuel@…>

Branches:

1.0, 2.3, 2.3.x, 2.4, ablfs, ablfs-more, legacy, new_features, trunk

Children:

0be51e5

Parents:

bd5bf06

Message:

The tool in trunk is called "jhalfs"

File:

• common/common-functions (modified) (6 diffs)

common/common-functions

@@ -53 +53 @@
 
 ${BOLD}  -D  --directory DIR${OFF}
-        use DIR directory for building ${BOLD}$(echo $PROGNAME | tr [a-z] [A-Z])${OFF}; all files jhalfs-X produces
+        use DIR directory for building ${BOLD}$(echo $PROGNAME | tr [a-z] [A-Z])${OFF}; all files jhalfs produces
         will be in the directory DIR/jhalfs.
 
@@ -90 +90 @@
 ${BOLD}  -R --rebuild${OFF}
         clean the build directory before to perfom any other task. The directory
-        is cleaned only if it was populated by a previous jhalfs-X run.
+        is cleaned only if it was populated by a previous jhalfs run.
 -EOF-
 
@@ -140 +140 @@
 
 version="
-${BOLD}  \"jhalfs-X\"${OFF} builder tool (development) \$Rev$
+${BOLD}  \"jhalfs\"${OFF} builder tool (development) \$Rev$
 \$Date$
 
@@ -163 +163 @@
 
     Please format the partition mounted on \$BUILDDIR or set
-    a different build directory before running jhalfs-X.
+    a different build directory before running jhalfs.
 ${OFF}
 ${DD_BORDER}
@@ -183 +183 @@
 echo \"Attempting to continue.\" >&2"
 
-HEADER="# This file is automatically generated by jhalfs-X
+HEADER="# This file is automatically generated by jhalfs
 # DO NOT EDIT THIS FILE MANUALLY
 #
@@ -442 +442 @@
     # Test to make sure that the build directory was populated by jhalfs
     if [ ! -d $JHALFSDIR ] || [ ! -d $BUILDDIR/sources ] ; then
-      echo "Looks like $BUILDDIR was not populated by a previous jhalfs-X run."
+      echo "Looks like $BUILDDIR was not populated by a previous jhalfs run."
       exit 1
     else