devops: Prefer newer(?) repo version of src/devops/build.scm.

diff --git a/src/devops/devops.scm b/src/devops/devops.scm
index 42c4520886287910055bc3c49ee0ce90a0ab3c12..4c75d7f169ad15e160c2c00e379bf46c71cffe87 100644 (file)
--- a/src/devops/devops.scm
+++ b/src/devops/devops.scm
@@ -514,12 +514,12 @@ Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
           (log "    Working...\n")))))
 
 (define (start-builds host i/o)
-  (write-file (let ((sys (system-library-pathname "devops/build.scm" #f)))
-               (if (file-exists? sys)
-                   sys
-                   (let ((repo "src/devops/build.scm"))
-                     (if (file-exists? repo)
-                         repo
+  (write-file (let ((repo "src/devops/build.scm"))
+               (if (file-exists? repo)
+                   repo
+                   (let ((sys (system-library-pathname "devops/build.scm" #f)))
+                     (if (file-exists? sys)
+                         sys
                          (error "could not find build script")))))
              i/o)