From 79b80b9916d85e34cb206a2ca94bcf31e62467d1 Mon Sep 17 00:00:00 2001
From: Dimitri Lozeve <dimitri@lozeve.com>
Date: Thu, 7 Sep 2023 12:58:55 +0200
Subject: [PATCH] Remove useless static options

It's the default now
---
 build.ss | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/build.ss b/build.ss
index 4daf9e3..c11a903 100755
--- a/build.ss
+++ b/build.ss
@@ -23,13 +23,11 @@
      (make srcdir: srcdir
 	   optimize: #t
            debug: 'src
-           static: #t
            lib-build-spec))
     (["bin"]
      (make srcdir: srcdir
            optimize: #t
            debug: #f
-           static: #t
 	   build-deps: "build-deps-bin"
            bin-build-spec))
     (["server"]
@@ -37,7 +35,6 @@
 	   bindir: srcdir
            optimize: #t
            debug: #f
-           static: #t
 	   build-deps: "build-deps-server"
            server-build-spec))
     ([]