! Please note that this is a snapshot of our old Bugzilla server, which is read only since May 29, 2020. Please go to gitlab.xfce.org for our new server !
[Xfce4-clipman-plugin] git repo is missing file
Status:
RESOLVED: INVALID
Product:
Xfce4-clipman-plugin
Component:
General

Comments

Description Christian Hesse 2012-11-22 10:26:57 CET
Compilation from git fails with:

xfce4-clipman-settings.c:37:32: fatal error: settings-dialog_ui.h: No such file or directory
compilation terminated.

My workaround is to copy file panel-plugin/settings-dialog_ui.h from last release tarball to my git tree. I suppose this file is just missing, no?
Comment 1 Mike Massonnet editbugs 2012-11-22 16:53:58 CET
Nope, it's build automatically, but make sure to run the configure script with the --enable-maintainer-mode flag (which is set automatically when running the autogen.sh script.)

Bug #9530

Reported by:
Christian Hesse
Reported on: 2012-11-22
Last modified on: 2012-11-22

People

Assignee:
Mike Massonnet
CC List:
0 users

Version

Version:
unspecified

Attachments

Additional information