Update make_all.sh

This commit is contained in:
Jiao Xianjun 2021-02-03 15:37:12 +01:00 committed by GitHub
parent d5f8d0d664
commit 9e46321135
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,6 +1,7 @@
#!/bin/bash
# SPDX-FileCopyrightText: 2019 Jiao Xianjun <putaoshu@msn.com>
# Author: Xianjun jiao
# SPDX-FileCopyrightText: 2019 UGent
# SPDX-License-Identifier: AGPL-3.0-or-later
if [ "$#" -ne 3 ]; then