From 97e9c5003f092b716c7aa4a418f9190dbd38dfda Mon Sep 17 00:00:00 2001
From: krempp <none>
Date: Thu, 8 Jun 2000 04:26:24 +0200
Subject: [PATCH] supprim.

darcs-hash:20000608022624-92525-1341690607078e49774236ea8cfde05dd66c4204.gz
---
 supers/df | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100755 supers/df

diff --git a/supers/df b/supers/df
deleted file mode 100755
index e52864f2..00000000
--- a/supers/df
+++ /dev/null
@@ -1,19 +0,0 @@
-#! /bin/sh
-# Sam K, déc 99
-# magie: le script lance super sur son propre nom
-#  et ca lance le bon programme.. 
-
-prog=`basename $0`
-
-# Si le script courant est lancé par super, $SUPERCMD permet de le voir.
-# et alors on continue gentiment le script, sinon on éxécute super sur le prog.
-#  ca permet de faire des scripts qui lancent super sur eux-memes..
-test "X$SUPERCMD" = "X$prog" || test "X$UID" = "X0" || 
-         exec /usr/bin/super $prog ${1+"$@"}    # le script s'arrete ici ds ce cas.
-
-# Contenu du script :
-# ici c'est vide car "super $prog" va en fait éxécuter un autre script, celui ci étant juste un "wrapper".
-# pour lanceMake et autre, c'est là qu'est mis le script à éxécuter.
-
-test "X$UID" = "X0" && echo "uid=root -> on fait rien. lancez le prog directement, cf _where <command>_."
-