try CI on tangled.org

2026-02-28 22:07:08 -08:00
parent ea7ba4ea40
commit c26b283899
3 changed files with 30 additions and 4 deletions
--- a/scripts/mkrevision
+++ b/scripts/mkrevision
@@ -0,0 +1,12 @@
+#!/bin/sh -e
+REV=$(git rev-parse --short HEAD)
+cat >> src/Revision.newt.new <<EOF
+module Revision
+
+import Prelude
+
+gitRevision : String
+gitRevision = "$REV"
+EOF
+cmp src/Revision.newt.new src/Revision.newt || cp src/Revision.newt.new src/Revision.newt
+rm -f src/Revision.newt.new