diff --git a/examples/Makefile b/examples/Makefile
index 5e367268..1ea625f1 100644
--- a/examples/Makefile
+++ b/examples/Makefile
@@ -2,6 +2,7 @@ EXAMPLES=mx \
 chaos \
 key2ds \
 axfr \
+fp \
 reflect \
 q \
 funkensturm \
diff --git a/examples/fp/gb.cfg b/examples/fp/gb.cfg
index 8ea51628..a1aa78f2 100644
--- a/examples/fp/gb.cfg
+++ b/examples/fp/gb.cfg
@@ -1 +1,2 @@
+ignore=true
 workspace=../..