summaryrefslogtreecommitdiff
path: root/etc/bigloo/autoconf/bversion
diff options
context:
space:
mode:
authorLudovic Court`es2006-08-30 09:15:24 +0000
committerLudovic Court`es2006-08-30 09:15:24 +0000
commit0becf7642cd296ab7963b5672b649afc5eaf3d49 (patch)
tree435e96a4c6784bb848eebc1b08d2b9b65b8f351e /etc/bigloo/autoconf/bversion
parent26fc9d18c3db792f500d73eb22e78860216d2a9b (diff)
downloadskribilo-0becf7642cd296ab7963b5672b649afc5eaf3d49.tar.gz
skribilo-0becf7642cd296ab7963b5672b649afc5eaf3d49.tar.lz
skribilo-0becf7642cd296ab7963b5672b649afc5eaf3d49.zip
Removed the `etc' directory, kept `ChangeLog' and `skribe-config.in'.
git-archimport-id: lcourtes@laas.fr--2005-libre/skribilo--devo--1.2--patch-52
Diffstat (limited to 'etc/bigloo/autoconf/bversion')
-rwxr-xr-xetc/bigloo/autoconf/bversion42
1 files changed, 0 insertions, 42 deletions
diff --git a/etc/bigloo/autoconf/bversion b/etc/bigloo/autoconf/bversion
deleted file mode 100755
index 1f24c86..0000000
--- a/etc/bigloo/autoconf/bversion
+++ /dev/null
@@ -1,42 +0,0 @@
-#!/bin/sh
-#*=====================================================================*/
-#* serrano/prgm/project/scribe/autoconf/bversion */
-#* ------------------------------------------------------------- */
-#* Author : Manuel Serrano */
-#* Creation : Tue Jan 12 14:33:21 1999 */
-#* Last change : Sun Jan 13 07:30:21 2002 (serrano) */
-#* ------------------------------------------------------------- */
-#* Check the current bigloo version */
-#*=====================================================================*/
-
-bigloo=bigloo
-version=2.4b
-
-#*---------------------------------------------------------------------*/
-#* We parse the arguments */
-#*---------------------------------------------------------------------*/
-while : ; do
- case $1 in
- "")
- break;;
- --bigloo=*|-bigloo=*)
- bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
- --version=*|-version=*)
- version="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
- -*)
- echo "Unknown option \"$1\", ignored" >&2;;
- esac
- shift
-done
-
-#*---------------------------------------------------------------------*/
-#* We spawn a bigloo process to check its version number */
-#*---------------------------------------------------------------------*/
-bver=`$bigloo -q -eval "(exit (print *bigloo-version*))"`
-echo $bver
-
-$bigloo -q -eval "(exit (if (string>=? *bigloo-version* \"$version\") 0 1))"
-
-exit $?