A small patch for Makefile.in



Hi, there

When build gnome-pilot, make-tools will check xxx.gob files and
xxx-private.h files. If a xxx-private.h file are not newer than its gob
files, make-tools will use GOB to generate a new xxx-private.h file.

But if is no GOB tools in the system (configure get GOB='no'),
make-tools will still use GOB to create header file. That will cause
error as:

no --always-private-header -w gnome-pilot-conduit-management.gob
/bin/bash: no: command not found
make: *** [gnome-pilot-conduit-management.c] Error 127

This patch checks if there's GOB in system and decides whether do "$GOB
....." operation.

Thanks
Jimmy

Attachment: patch_for_gob_new
Description: Binary data



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]