]> rtime.felk.cvut.cz Git - omk.git/blobdiff - rulesdef.py
Merge branch 'devel-cherrypick'
[omk.git] / rulesdef.py
diff --git a/rulesdef.py b/rulesdef.py
deleted file mode 100755 (executable)
index e48b972..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/usr/bin/env python
-
-rules = {
-    'sysless': [ 'base', 'gcc', 'localconfig', 'sysless', 'localeval' ],
-    'linux':   [ 'linux-setup', 'base', 'localconfig', 'linux' ],
-    'rtems':   [ 'rtems-setup', 'base', 'localconfig', 'rtems' ],
-    }