]> gitweb.factorcode.org Git - factor.git/commitdiff
projects / factor.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 0655ed4)
ci.run-process platforms: getting uid/gid, so unix only for now
authorDoug Coleman <doug.coleman@gmail.com>
Sat, 21 Jul 2018 20:28:43 +0000 (15:28 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Sat, 21 Jul 2018 20:28:43 +0000 (15:28 -0500)
extra/ci/run-process/platforms.txt [new file with mode: 0644] patch | blob

diff --git a/extra/ci/run-process/platforms.txt b/extra/ci/run-process/platforms.txt
new file mode 100644 (file)
index 0000000..509143d
--- /dev/null
+++ b/extra/ci/run-process/platforms.txt
@@ -0,0 +1 @@
+unix
Factor programming language