Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Maintenance:12.2_ArchPorts
swipl
pl.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File pl.patch of Package swipl
Index: pl-5.10.2/packages/plunit/Makefile.in =================================================================== --- pl-5.10.2.orig/packages/plunit/Makefile.in 2010-10-28 21:38:25.000000000 +0200 +++ pl-5.10.2/packages/plunit/Makefile.in 2010-12-18 20:05:48.923438329 +0100 @@ -52,7 +52,6 @@ ln-install: $(LIBPL) rpm-install: install pdf-install: install-examples - $(INSTALL_DATA) $(DOC).pdf $(DESTDIR)$(PKGDOC) html-install: install-examples $(INSTALL_DATA) $(DOC).html $(DESTDIR)$(PKGDOC) Index: pl-5.10.2/src/pl-trace.c =================================================================== --- pl-5.10.2.orig/src/pl-trace.c 2010-10-28 21:38:25.000000000 +0200 +++ pl-5.10.2/src/pl-trace.c 2010-12-18 20:05:48.925439596 +0100 @@ -675,8 +675,7 @@ traceAction(char *cmd, int port, LocalFr if ( !(port & EXIT_PORT) ) clear(frame, FR_SKIPPED); return ACTION_CONTINUE; - case '\04': - case EOF: FeedBack("EOF: "); + case '\04': FeedBack("EOF: "); case 'e': FeedBack("exit\n"); exitFromDebugger(0); case 'f': FeedBack("fail\n");
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor