Specific PHP version...

This commit is contained in:
Andrew Ruthven 2019-01-05 00:27:40 +13:00
parent 4c930a41d2
commit f813fa3b0e

View File

@ -5,7 +5,7 @@ build:
script: script:
- apt-get -y update - apt-get -y update
- bash -c 'mkdir -p /usr/share/man/man{0..10}' - bash -c 'mkdir -p /usr/share/man/man{0..10}'
- apt-get -y install build-essential devscripts fakeroot dh-exec jdupes rst2pdf doxygen graphviz php # todo build-dep instead, change this task's image to plain debian - apt-get -y install build-essential devscripts fakeroot dh-exec jdupes rst2pdf doxygen graphviz php7.3 # todo build-dep instead, change this task's image to plain debian
- mv debian/changelog debian/changelog.old - mv debian/changelog debian/changelog.old
- > - >
cat cat