From b331d712d0bb2a291d9a54760bb38a8b620d6403 Mon Sep 17 00:00:00 2001
From: Brad Nelson <flagxor@gmail.com>
Date: Sun, 31 Dec 2023 21:47:42 -0800
Subject: [PATCH] Tweak.

---
 posix/BUILD        | 3 ++-
 tools/configure.py | 7 ++++---
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/posix/BUILD b/posix/BUILD
index aeb5b26..77c780e 100644
--- a/posix/BUILD
+++ b/posix/BUILD
@@ -17,4 +17,5 @@ Importation('gen/posix_boot.h', '$src/posix/posix_boot.fs', name='boot')
 Compile('posix/ueforth', '$src/posix/main.c',
         implicit=['gen/posix_boot.h'])
 
-OneShot('install', 'sudo cp posix/ueforth /usr/bin/ueforth', 'posix/ueforth')
+OneShot('install', 'sudo cp posix/ueforth /usr/bin/ueforth',
+        'posix/ueforth', pool='console')
diff --git a/tools/configure.py b/tools/configure.py
index 1006e7c..7eea68f 100755
--- a/tools/configure.py
+++ b/tools/configure.py
@@ -214,8 +214,7 @@ rule gen_run
 
 rule oneshot
   description = ONESHOT
-  command = $command
-  pool = console
+  command = echo oneshot
 
 rule clean
   description = CLEAN
@@ -337,10 +336,12 @@ def GenRun(target, script, options, sources):
   return target
 
 
-def OneShot(target, command, source):
+def OneShot(target, command, source, pool=None):
   global output
   output += f'build {target}: oneshot {source}\n'
   output += f'  command = {command}\n'
+  if pool:
+    output += f'  pool = {pool}\n'
   return target