From 347055716fff2cbcfc458b319a748b1a256cdb7d Mon Sep 17 00:00:00 2001 From: Jeff Geerling Date: Thu, 3 Jan 2019 21:50:00 -0600 Subject: [PATCH] Resolve ansible-lint problems. --- .ansible-lint | 3 +++ tasks/install-from-source.yml | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) create mode 100644 .ansible-lint diff --git a/.ansible-lint b/.ansible-lint new file mode 100644 index 0000000..f3c1090 --- /dev/null +++ b/.ansible-lint @@ -0,0 +1,3 @@ +skip_list: + - '405' + - '503' diff --git a/tasks/install-from-source.yml b/tasks/install-from-source.yml index e999ba0..09ad4c3 100644 --- a/tasks/install-from-source.yml +++ b/tasks/install-from-source.yml @@ -70,7 +70,7 @@ src: "{{ php_source_install_gmp_path }}" dest: /usr/include/gmp.h state: link - when: gmp_file.stat.exists == false + when: not gmp_file.stat.exists - name: Check if PHP is installed. command: which php