Update make_debian.sh

This commit is contained in:
John
2021-10-09 17:48:13 +02:00
committed by GitHub
parent 24a65257d0
commit 8318e79185
+2
View File
@@ -15,6 +15,8 @@
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
pwd
ls -la
keepbuilddir=
if [ "x$1" = "x--keepbuilddir" ]; then
keepbuilddir=1