From 872293af3ad3bef420c5bf30ab9af2f0c01f3768 Mon Sep 17 00:00:00 2001 From: Diego Elio 'Flameeyes' Pettenò Date: Tue, 24 Aug 2010 11:40:15 +0200 Subject: Avoid preserving libraries, since we have no way to properly deal with them as it is. --- bashrc | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'bashrc') diff --git a/bashrc b/bashrc index 4da89c1..7203b73 100755 --- a/bashrc +++ b/bashrc @@ -135,3 +135,7 @@ make() { emake "$@" fi } + +preserve_old_lib() { + ewarn "Preserved libs are disabled in tinderbox. Shush, go away!" +} -- cgit v1.2.3-65-gdbad