| 1 |
---
|
| 2 |
build/source/Build | 22 ++++++++++++++++++----
|
| 3 |
1 file changed, 18 insertions(+), 4 deletions(-)
|
| 4 |
|
| 5 |
Index: texlive-bin-2007/build/source/Build
|
| 6 |
===================================================================
|
| 7 |
--- texlive-bin-2007.orig/build/source/Build 2006-12-14 03:12:38.000000000 +0100
|
| 8 |
+++ texlive-bin-2007/build/source/Build 2007-02-14 15:56:00.000000000 +0100
|
| 9 |
@@ -47,11 +47,25 @@
|
| 10 |
|
| 11 |
# Force building xdvi-xaw; motif is not always free and/or available.
|
| 12 |
# --enable-gif is for sam2p; the gif patent has expired worldwide.
|
| 13 |
-(set -x; \
|
| 14 |
- time $TL_CONFIGURE \
|
| 15 |
+case $1 in
|
| 16 |
+ configure)
|
| 17 |
+ shift
|
| 18 |
+ (set -x; \
|
| 19 |
+ $TL_CONFIGURE \
|
| 20 |
--prefix=$TL_INSTALL_DEST \
|
| 21 |
--datadir=$TL_INSTALL_DEST \
|
| 22 |
$TL_XDVI_TOOLKIT \
|
| 23 |
$TL_CONFIGURE_ARGS \
|
| 24 |
- "$@" \
|
| 25 |
- && time $TL_MAKE $TL_TARGET)
|
| 26 |
+ "$@" )
|
| 27 |
+ ;;
|
| 28 |
+ build)
|
| 29 |
+ # not make world, this would strip
|
| 30 |
+ shift
|
| 31 |
+ make all
|
| 32 |
+ make install
|
| 33 |
+ ;;
|
| 34 |
+ *)
|
| 35 |
+ echo "This script must be invoked with argument configure or build"
|
| 36 |
+ ;;
|
| 37 |
+esac
|
| 38 |
+
|
Parent Directory
| 
Revision Log