From 00db2f10b1cffee2908e28b0b6d93b69bf4dca39 Mon Sep 17 00:00:00 2001
From: Kilian Cavalotti <kilian@stanford.edu>
Date: Thu, 27 Jan 2022 17:55:32 -0800
Subject: [PATCH] Fix make command when CI is undefined.

`make rpm ""` fails with:
```
make: *** empty string invalid as file name.  Stop.
```
---
 pkg/mk-rel-rpm.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pkg/mk-rel-rpm.sh b/pkg/mk-rel-rpm.sh
index 6a58c37d..92365eeb 100755
--- a/pkg/mk-rel-rpm.sh
+++ b/pkg/mk-rel-rpm.sh
@@ -17,6 +17,7 @@ mkdir _builddir
 pushd _builddir
 ../autogen.sh
 if [ -n "$CI" ]; then
-	CI="CI=--define '_with_unit_tests 1'"
+    make rpm CI="--define '_with_unit_tests 1'"
+else
+    make rpm
 fi
-make rpm "$CI"