Source Mage code commit list

[Florian Franzmann <scm AT sourcemage.org>]

GIT changes to master grimoire by Florian Franzmann 
<siflfran AT hawo.stw.uni-erlangen.de>:

 kernels/schedtool/0001-clean-up-Makefile.patch |   38 
+++++++++++++++++++++++++
 kernels/schedtool/BUILD                        |    2 -
 kernels/schedtool/DETAILS                      |    4 +-
 kernels/schedtool/HISTORY                      |    8 +++++
 kernels/schedtool/INSTALL                      |    1 
 kernels/schedtool/PRE_BUILD                    |    3 +
 6 files changed, 53 insertions(+), 3 deletions(-)

New commits:
commit e1d10ec2151ae2327ec226df8323a7db8cdf8359
Author: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
Commit: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>

    kernels/schedtool: version 1.3.0

diff --git a/kernels/schedtool/0001-clean-up-Makefile.patch 
b/kernels/schedtool/0001-clean-up-Makefile.patch
new file mode 100644
index 0000000..a27847d
--- /dev/null
+++ b/kernels/schedtool/0001-clean-up-Makefile.patch
@@ -0,0 +1,38 @@
+From d1d97e7d0b3024816934fd0a64efe3d1c567fff6 Mon Sep 17 00:00:00 2001
+From: Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+Date: Fri, 21 Mar 2014 01:28:06 +0100
+Subject: [PATCH] clean up Makefile
+
+---
+ Makefile | 7 +++----
+ 1 file changed, 3 insertions(+), 4 deletions(-)
+
+diff --git a/Makefile b/Makefile
+index 46c1331..f9c3110 100644
+--- a/Makefile
++++ b/Makefile
+@@ -1,10 +1,9 @@
+ # go on and adjust here if you don't like those flags
+-CFLAGS=-Os -fomit-frame-pointer -s -pipe
++CFLAGS ?= -Os -fomit-frame-pointer -s -pipe
+ #CFLAGS=-Wall -Os -fomit-frame-pointer -s -pipe -DDEBUG
+-CC=gcc
+ # likewise, if you want to change the destination prefix
+ DESTDIR=
+-DESTPREFIX=/usr/local
++DESTPREFIX ?= /usr/local
+ MANDIR=$(DESTPREFIX)/share/man/man8
+ GZIP=gzip -9
+ TARGET=schedtool
+@@ -19,7 +18,7 @@ clean:
+ distclean: clean unzipman
+       rm -f *~ *.s
+ 
+-install: all install-doc zipman
++install: all zipman
+       install -d $(DESTDIR)$(DESTPREFIX)/bin
+       install -p -c $(TARGET) $(DESTDIR)$(DESTPREFIX)/bin
+       install -d $(DESTDIR)$(MANDIR)
+-- 
+1.9.0
+
diff --git a/kernels/schedtool/BUILD b/kernels/schedtool/BUILD
index 8f58e6d..6dfecc1 100755
--- a/kernels/schedtool/BUILD
+++ b/kernels/schedtool/BUILD
@@ -1 +1 @@
-make
+default_build_make
diff --git a/kernels/schedtool/DETAILS b/kernels/schedtool/DETAILS
index cf94eee..9af8547 100755
--- a/kernels/schedtool/DETAILS
+++ b/kernels/schedtool/DETAILS
@@ -1,12 +1,12 @@
            SPELL=schedtool
-         VERSION=1.2.9
+         VERSION=1.3.0
           SOURCE=$SPELL-$VERSION.tar.bz2
 SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
    SOURCE_URL[0]=http://freequaos.host.sk/${SPELL}/${SOURCE}
         WEB_SITE=http://freequaos.host.sk/schedtool/
          ENTERED=20040718
       LICENSE[0]=GPL
-     
SOURCE_HASH=sha512:0480da5b98c1ee37f93d37f5d3fd4843dec0587bcff37af0b22053a37a89ef4f8f3232f5dd127d575d39cf13be846f0594e2c173e08f0369316cccaab69fba01
+     
SOURCE_HASH=sha512:1ae39a7b9481cf4062740343cd31289117610041546a7969fde7ae3bed3c1a06cd258dffaeafc4326c9115e37878b943d5abec222e25e45e2a5f76c65adf3b6a
         KEYWORDS="kernels"
            SHORT="schedtool can be used to query or alter a process' 
scheduling policy under Linux"
 cat << EOF
diff --git a/kernels/schedtool/HISTORY b/kernels/schedtool/HISTORY
index 203f12a..106958d 100644
--- a/kernels/schedtool/HISTORY
+++ b/kernels/schedtool/HISTORY
@@ -1,3 +1,11 @@
+2014-03-21 Florian Franzmann <siflfran AT hawo.stw.uni-erlangen.de>
+       * BUILD: use default_build_make
+       * DETAILS: version 1.3.0
+       * 0001-clean-up-Makefile.patch, INSTALL, PRE_BUILD: install to
+         correct location
+
+no changes added to commit (use "git add" and/or "git commit -a")
+
 2009-10-31 Bor Kraljič <pyrobor AT ver.si>
        * DETAILS: updated spell to 1.2.9
 
diff --git a/kernels/schedtool/INSTALL b/kernels/schedtool/INSTALL
new file mode 100755
index 0000000..cd93132
--- /dev/null
+++ b/kernels/schedtool/INSTALL
@@ -0,0 +1 @@
+DESTPREFIX=${INSTALL_ROOT}/usr default_install
diff --git a/kernels/schedtool/PRE_BUILD b/kernels/schedtool/PRE_BUILD
new file mode 100755
index 0000000..c443003
--- /dev/null
+++ b/kernels/schedtool/PRE_BUILD
@@ -0,0 +1,3 @@
+default_pre_build    &&
+cd $SOURCE_DIRECTORY &&
+patch -p1 < $SPELL_DIRECTORY/0001-clean-up-Makefile.patch