mirror of
https://github.com/wfjm/w11.git
synced 2026-01-13 15:37:43 +00:00
8 lines
209 B
Bash
Executable File
8 lines
209 B
Bash
Executable File
#!/bin/bash
|
|
# $Id: makeise 1172 2019-06-29 07:27:24Z mueller $
|
|
# SPDX-License-Identifier: GPL-3.0-or-later
|
|
# Copyright 2016-2019 by Walter F.J. Mueller <W.F.J.Mueller@gsi.de>
|
|
#
|
|
|
|
exec make -f Makefile.ise "$@"
|