From 8666aa07e7110350b94f508445cc2c6ccf43124e Mon Sep 17 00:00:00 2001
From: AlexandreRouma <alexandre.rouma@gmail.com>
Date: Sun, 3 Oct 2021 01:48:44 +0200
Subject: [PATCH] Fixed missing const

---
 core/src/gui/style.h                     | 2 +-
 docker_builds/ubuntu_hirsute/do_build.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/core/src/gui/style.h b/core/src/gui/style.h
index b4cec335..8c51c4c7 100644
--- a/core/src/gui/style.h
+++ b/core/src/gui/style.h
@@ -15,5 +15,5 @@ namespace style {
 }
 
 namespace ImGui {
-    void LeftLabel(char* text);
+    void LeftLabel(const char* text);
 }
\ No newline at end of file
diff --git a/docker_builds/ubuntu_hirsute/do_build.sh b/docker_builds/ubuntu_hirsute/do_build.sh
index 1dd04aa3..0a745cef 100644
--- a/docker_builds/ubuntu_hirsute/do_build.sh
+++ b/docker_builds/ubuntu_hirsute/do_build.sh
@@ -19,7 +19,7 @@ cd SDRPlusPlus
 mkdir build
 cd build
 cmake .. -DOPT_BUILD_BLADERF_SOURCE=ON -DOPT_BUILD_LIMESDR_SOURCE=ON -DOPT_BUILD_SDRPLAY_SOURCE=ON -DOPT_BUILD_NEW_PORTAUDIO_SINK=ON -DOPT_BUILD_M17_DECODER=ON
-make VERBOSE=1 -j2
+make -j2
 
 cd ..
 sh make_debian_package.sh ./build 'libfftw3-dev, libglfw3-dev, libglew-dev, libvolk2-dev, librtaudio-dev'
\ No newline at end of file