diff options
| -rwxr-xr-x | debian/bin/gencontrol.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/bin/gencontrol.sh b/debian/bin/gencontrol.sh index 573d139..b203cc1 100755 --- a/debian/bin/gencontrol.sh +++ b/debian/bin/gencontrol.sh @@ -20,7 +20,7 @@ Priority: optional Maintainer: PTXdist Devevelopers <ptxdist@pengutronix.de> Homepage: https://www.pengutronix.de/software/toolchain.html Bugs: mailto:bugs@pengutronix.de -Build-Depends: debhelper (>= 9), libncurses-dev, python3-dev, bison, flex +Build-Depends: debhelper (>= 9), libncurses-dev, python3-dev | python3.7-dev, bison, flex EOF if [ $# -gt 0 ]; then |