rpms/java_cup
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Switch to non-numdered patches

Browse source
This commit is contained in:
Mikolaj Izdebski 2024-08-22 22:13:18 +02:00
commit e208cdc226
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
java_cup.spec
View file

@ -19,8 +19,8 @@ Source0: java_cup-%{version}.tar.bz2
Source2: %{name}-MANIFEST.MF
Source4: %{name}-runtime-MANIFEST.MF
Patch0: %{name}-build.patch
Patch1: 0002-Set-Java-source-target-to-1.8.patch
Patch: %{name}-build.patch
Patch: 0002-Set-Java-source-target-to-1.8.patch
%if %{with bootstrap}
BuildRequires: javapackages-bootstrap