From 0becf7642cd296ab7963b5672b649afc5eaf3d49 Mon Sep 17 00:00:00 2001
From: Ludovic Court`es
Date: Wed, 30 Aug 2006 09:15:24 +0000
Subject: Removed the `etc' directory, kept `ChangeLog' and `skribe-config.in'.

git-archimport-id: lcourtes@laas.fr--2005-libre/skribilo--devo--1.2--patch-52
---
 etc/bigloo/autoconf/getbversion | 36 ------------------------------------
 1 file changed, 36 deletions(-)
 delete mode 100755 etc/bigloo/autoconf/getbversion

(limited to 'etc/bigloo/autoconf/getbversion')

diff --git a/etc/bigloo/autoconf/getbversion b/etc/bigloo/autoconf/getbversion
deleted file mode 100755
index ff83b1c..0000000
--- a/etc/bigloo/autoconf/getbversion
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/bin/sh
-#*=====================================================================*/
-#*    serrano/prgm/project/bglk/autoconf/getbversion                   */
-#*    -------------------------------------------------------------    */
-#*    Author      :  Manuel Serrano                                    */
-#*    Creation    :  Tue Jan 12 14:33:21 1999                          */
-#*    Last change :  Mon May 22 10:47:46 2000 (serrano)                */
-#*    -------------------------------------------------------------    */
-#*    Get the current bigloo version (with the level)                  */
-#*=====================================================================*/
-
-bigloo=bigloo
- 
-#*---------------------------------------------------------------------*/
-#*    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            */
-#*---------------------------------------------------------------------*/
-$bigloo -q -eval "(begin (print *bigloo-version*) (exit 0))"
-- 
cgit v1.2.3