From 3fcfb0e1f4cf535ce3356ecef32a21a9e9fc27b5 Mon Sep 17 00:00:00 2001 From: Pavel Raiskup Date: Fri, 22 Jul 2016 08:20:28 +0200 Subject: Move the repo to github. --- auxdir/install_local | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100755 auxdir/install_local (limited to 'auxdir') diff --git a/auxdir/install_local b/auxdir/install_local deleted file mode 100755 index 1c06a6e..0000000 --- a/auxdir/install_local +++ /dev/null @@ -1,10 +0,0 @@ -#! /bin/bash - -source <(cat config.status | grep ^ac_cs_config) - -./configure --prefix=/usr --with-upgrade-config=upgrade_config.template \ - && make clean \ - && make \ - && sudo make install - -eval "./configure $ac_cs_config" -- cgit