summaryrefslogtreecommitdiff
path: root/fonts/drm/scripts/allfonts.sh
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /fonts/drm/scripts/allfonts.sh
Initial commit
Diffstat (limited to 'fonts/drm/scripts/allfonts.sh')
-rwxr-xr-xfonts/drm/scripts/allfonts.sh14
1 files changed, 14 insertions, 0 deletions
diff --git a/fonts/drm/scripts/allfonts.sh b/fonts/drm/scripts/allfonts.sh
new file mode 100755
index 0000000000..8ce547c031
--- /dev/null
+++ b/fonts/drm/scripts/allfonts.sh
@@ -0,0 +1,14 @@
+#!/bin/bash
+# +AMDG
+
+for file in `ls drm*[0-9]*.mf`; do
+ echo "Compiling $file...";
+ mf -halt-on-error "\mode=localfont; input $file" &> /dev/null;
+ if [[ $? == 0 ]]; then
+ echo "$file successfully compiled!";
+ else
+ echo "FAIL: $file failed to compile!"
+ exit 1;
+ fi
+done
+echo "Massive winnage!"