]> 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 c42a9a1..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/usr/bin/env python
-
-rules = {
-    'sysless': [ 'base', 'gcc', 'config_h', 'sysless', 'localeval' ],
-    'linux':   [ 'linux-setup', 'base', 'config_h', 'linux' ],
-    'rtems':   [ 'rtems-setup', 'base', 'config_h', 'rtems' ],
-    }