From 39705de36e2d60b0540c4dd0abf29df8d8854242 Mon Sep 17 00:00:00 2001
From: Greg Alexander <gitgreg@galexander.org>
Date: Sat, 10 Aug 2019 20:27:19 -0400
Subject: [PATCH] only rebuild default_options_guard.h if necessary

---
 doit | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doit b/doit
index 50fca55..8e9b779 100755
--- a/doit
+++ b/doit
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 instlib() {
 	for i in `ls libs`
@@ -8,7 +8,7 @@ instlib() {
 	done
 }
 
-dropbear/ifndef_wrapper.sh < dropbear/default_options.h > dropbear/default_options_guard.h &&
+[ dropbear/default_options.h -nt dropbear/default_options_guard.h ] && dropbear/ifndef_wrapper.sh < dropbear/default_options.h > dropbear/default_options_guard.h
 ~/Android/Sdk/ndk-bundle/ndk-build -j8 &&
 mkdir -p app/src/main/lib/armeabi-v7a &&
 instlib scp libscp.so &&