HomeSoftware Heritage

Check if $is_pe exists before using it
6a0e9cc40341Unpublished

Unpublished Commit · Learn More

Repository Importing: This repository is still importing.

Description

Check if $is_pe exists before using it

$is_pe is not a standard fact, so the
current code fails with strict_variables on.

Details

Provenance
Raphaël Pinson <raphael.pinson@camptocamp.com>Authored on
olasdPushed on Sep 10 2015, 1:22 PM
Parents
rSPCATf6e9f0a4ec92: Merge pull request #269 from mhaskel/merge_1.2.x_into_master
Branches
Unknown
Tags
Unknown

Event Timeline

Raphaël Pinson <raphael.pinson@camptocamp.com> committed rSPCAT6a0e9cc40341: Check if $is_pe exists before using it (authored by Raphaël Pinson <raphael.pinson@camptocamp.com>).Feb 18 2015, 3:16 PM