(no commit message)

[git.ikiwiki.info.git] / IkiWiki / Plugin / polygen.pm

diff --git a/IkiWiki/Plugin/polygen.pm b/IkiWiki/Plugin/polygen.pm
index 78e3611e1c1aa9a592ff6f156d3b796a01b9a5bd..8ce62b754fa6161c51d94b30e4957c6d9b1d38c9 100644 (file)
--- a/IkiWiki/Plugin/polygen.pm
+++ b/IkiWiki/Plugin/polygen.pm
@@ -28,6 +28,7 @@ sub preprocess (@) {
        my %params=@_;
        my $grammar = ($params{grammar} or 'polygen');
        my $symbol = ($params{symbol} or undef);
+       my $options = ($config{deterministic} ? '-seed 42' : '');
 
        # Sanitize parameters
        $grammar =~ IkiWiki::basename($grammar);
@@ -51,10 +52,10 @@ sub preprocess (@) {
        
        my $res;
        if (defined $symbol) {
-               $res = `polygen -S $symbol $grmfile 2>/dev/null`;
+               $res = `polygen -S $symbol $options $grmfile 2>/dev/null`;
        }
        else {
-               $res = `polygen $grmfile 2>/dev/null`;
+               $res = `polygen $options $grmfile 2>/dev/null`;
        }
 
        if ($?) {