From 15c7278e8e4b13f1b1a4f3b216f7474fe4603e3b Mon Sep 17 00:00:00 2001
From: Drup <drupyog@zoho.com>
Date: Sat, 7 May 2016 17:40:05 +0200
Subject: [PATCH] fixup! Fix ppx flags for examples.

---
 _oasis | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_oasis b/_oasis
index e57d135ef..226e0d6a2 100644
--- a/_oasis
+++ b/_oasis
@@ -218,7 +218,7 @@ Test basic_website_ppx
   WorkingDirectory: examples/basic_website_ppx
   Command: $basic_website_ppx
   TestTools: basic_website_ppx
-  Run$: flag(tests) && flag(tests)
+  Run$: flag(tests) && flag(ppx)
 
 Executable mini_website
   Install: false
@@ -246,7 +246,7 @@ Test mini_website_ppx
   WorkingDirectory: examples/mini_website_ppx
   Command: $mini_website
   TestTools: mini_website
-  Run$: flag(tests) && flag(tests)
+  Run$: flag(tests) && flag(ppx)
 
 ## Documentation