gnumach/xen configfrag.ac [gnumach-1-branch-Xen-branch]

[Samuel Thibault]

CVSROOT:        /cvsroot/hurd
Module name:    gnumach
Branch:         gnumach-1-branch-Xen-branch
Changes by:     Samuel Thibault <sthibaul>      08/11/11 14:56:22

Modified files:
        xen            : configfrag.ac 

Log message:
        fix non-xen configuration

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/gnumach/xen/configfrag.ac?cvsroot=hurd&only_with_tag=gnumach-1-branch-Xen-branch&r1=1.1.2.3&r2=1.1.2.4